1151 search results - page 120 / 231 » Collaborative Programming: Applications of Logic and Automat... |
122
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
146
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
140
Voted
AAAI
1996
15 years 5 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
167
click to vote
MSCS
2006
15 years 3 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
153
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...