3891 search results - page 472 / 779 » A logic for strategic reasoning |
148
Voted
AI
2001
Springer
15 years 4 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
127
Voted
AAAI
2007
15 years 3 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
131
Voted
ISSA
2004
15 years 2 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
ENTCS
2007
15 years 24 days ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
133
click to vote
JLP
2011
14 years 7 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...