2585 search results - page 102 / 517 » Automating Coherent Logic |
DEON
2010
Springer
13 years 11 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
DAC
1999
ACM
14 years 2 months ago
1999
ACM
High performance circuit techniques such as domino logic have migrated from the microprocessor world into more mainstream ASIC designs. The problem is that domino logic comes at a...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
LICS
1998
IEEE
14 years 2 months ago
1998
IEEE
The Horn
DLOG
1996
13 years 11 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...