5198 search results - page 79 / 1040 » A Logic of Agent Programs |
78
Voted
ICML
2000
IEEE
16 years 4 months ago
2000
IEEE
141
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
161
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
113
click to vote
EUSFLAT
2003
15 years 5 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
129
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...