1171 search results - page 121 / 235 » A Logical Language for Expressing Authorizations |
173
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
161
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
185
click to vote
TPHOL
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
183
click to vote
DLOG
1997
15 years 8 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
190
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...