1097 search results - page 65 / 220 » Revision Programming = Logic Programming Integrity Constra... |
111
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
102
click to vote
ICCBR
2009
Springer
15 years 9 months ago
2009
Springer
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
151
click to vote
TPLP
2002
15 years 2 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
115
click to vote
LATA
2010
Springer
16 years 19 days ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
115
click to vote
CADE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...