72 search results - page 4 / 15 » Logic Programming Foundations of Cyber-Physical Systems |
115
click to vote
KI
2009
Springer
15 years 8 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
222
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
142
Voted
IJCAI
1989
15 years 4 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
239
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
152
Voted
CLIMA
2006
15 years 5 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...