Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stim…
"26" Result
Sort By:
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The pa…
Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica. -Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Inform…
Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, ÿvora, …
by Abreu, Salvador, Seipel, Dietmar, International Conference on Applications of Declarative Programming and Knowledge Management, Springer-Verlag
fromLecture Notes in Computer Science / Lecture Notes in Artifi…
0
Type: Book
Annotation.
Applications of declarative programming and knowledge management: 18th International Conference, INAP 2009, Évora, …
by Abreu, Salvador, Seipel, Dietmar, International Conference on Applications of Declarative Programming and Knowledge Management, Évora, Portugal)
fromLecture Notes in Computer Science
0
Type: Book
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical…
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical…
Declarative networking
by Loo, Boon Thau, Zhou, Wenchao
fromSynthesis lectures on data management
0
Type: Book
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query l…
Declarative networking
by Loo, Boon Thau, Zhou, Wenchao
fromSynthesis lectures on data management
0
Type: Book
Declarative networking
by Loo, Boon Thau, Zhou, Wenchao
fromSynthesis lectures on data management
0
Type: Book
Declarative networking
by Loo, Boon Thau, Zhou, Wenchao
fromSynthesis lectures on data management
0
Type: Book
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query l…
Declarative networking
by Loo, Boon Thau, Zhou, Wenchao
fromSynthesis lectures on data management
0
Type: Book
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query l…