3776 search results - page 455 / 756 » Partition-Based Logical Reasoning |
163
Voted
AI
2001
Springer
15 years 6 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...
139
Voted
AAAI
2007
15 years 5 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 ...
149
Voted
ISSA
2004
15 years 4 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...
211
click to vote
ENTCS
2007
15 years 2 months 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...
150
Voted
JLP
2011
14 years 9 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...