72 search results - page 4 / 15 » Logic Programming Foundations of Cyber-Physical Systems |
KI
2009
Springer
15 years 4 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...
180
click to vote
POPL
2002
ACM
15 years 12 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...
IJCAI
1989
15 years 22 days 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...
195
click to vote
ICLP
2009
Springer
16 years 6 days 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...
116
click to vote
CLIMA
2006
15 years 29 days 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...