2585 search results - page 161 / 517 » Automating Coherent Logic |
162
click to vote
LPNMR
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
177
click to vote
DLOG
2003
15 years 7 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
161
click to vote
DLOG
1996
15 years 7 months ago
1996
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
437
click to vote
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
172
click to vote
LOPSTR
2007
Springer
16 years 18 days ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...