3983 search results - page 36 / 797 » Conceptual logic programs |
LPNMR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
WILF
2007
Springer
14 years 2 months ago
2007
Springer
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
ADBIS
2004
Springer
14 years 2 months ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
ELP
1993
14 years 23 days ago
1993
We describe how the calculus of partial inductive definitions is used to represent logics. This calculus includes the powerful principle of definitional reflection. We describe two...
ECSQARU
2005
Springer
14 years 2 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...