453 search results - page 19 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
107
click to vote
LOPSTR
1997
Springer
15 years 3 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
107
click to vote
AAAI
2008
15 years 2 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
IJCAI
2001
15 years 1 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
APPINF
2003
15 years 1 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
197
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...