Complexity and expressive power of logic programming
This article surveys various complexity and expressiveness results on different forms of logic
programming. The main focus is on decidable forms of logic programming, in particular …
programming. The main focus is on decidable forms of logic programming, in particular …
Complexity and expressive power of logic programming
This paper surveys various complexity results on different forms of logic programming. The
main focus is on decidable forms of logic programming, in particular propositional logic …
main focus is on decidable forms of logic programming, in particular propositional logic …
Logic programming and negation: A survey
KR Apt, RN Bol - The Journal of Logic Programming, 1994 - Elsevier
Logic programming and negation: A survey - ScienceDirect Skip to main contentSkip to
article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …
article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …
A survey of paraconsistent semantics for logic programs
CV Damásio, LM Pereira - Reasoning with Actual and Potential …, 1998 - Springer
Our contribution to this volume consists in giving a logic programmer's view on handling
program inconsistency. The semantics we cover will touch several aspects of implementing …
program inconsistency. The semantics we cover will touch several aspects of implementing …
Complexity results for answer set programming with bounded predicate arities and implications
Answer set programming is a declarative programming paradigm rooted in logic
programming and non-monotonic reasoning. This formalism has become a host for …
programming and non-monotonic reasoning. This formalism has become a host for …
Logic and databases: A 20 year retrospective
J Minker - International Workshop on Logic in Databases, 1996 - Springer
At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that
logic and databases was a field in its own right (see [131]). This was the first time that this …
logic and databases was a field in its own right (see [131]). This was the first time that this …
Overview of disjunctive logic programming
J Minker - Annals of Mathematics and Artificial Intelligence, 1994 - Springer
The field of disjunctive programming started approximately in 1982 and has reached its first
decade. The first result in the field was the development of the Generalized Closed World …
decade. The first result in the field was the development of the Generalized Closed World …
[PDF][PDF] 模糊知识的三种否定及其集合基础
潘正华 - 2012 - cjc.ict.ac.cn
摘要对于模糊知识中“否定” 的认知与处理, 文中从概念层面上区分模糊知识中的矛盾否定关系与
对立否定关系, 研究发现了模糊知识中存在一规律: 一对对立的概念为模糊概念 …
对立否定关系, 研究发现了模糊知识中存在一规律: 一对对立的概念为模糊概念 …
[图书][B] Foundations of knowledge systems: With applications to databases and agents
G Wagner - 2012 - books.google.com
One of the main uses of computer systems is the management of large amounts of symbolic
information representing the state of some application domain, such as information about all …
information representing the state of some application domain, such as information about all …
Disjunctive logic programming: A survey and assessment
J Minker, D Seipel - Computational Logic: Logic Programming and Beyond …, 2002 - Springer
We describe the fields of disjunctive logic programming and disjunctive deductive databases
from the time of their inception to the current time. Contributions with respect to semantics …
from the time of their inception to the current time. Contributions with respect to semantics …