352 search results - page 6 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
120
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
JELIA
2010
Springer
14 years 10 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
IJCAI
1993
15 years 28 days ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
110
click to vote
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...