966 search results - page 40 / 194 » Communicating Answer Set Programs |
131
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
117
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
109
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
When a client submits a set of XPath queries to a XML database on a network, the set of answer sets sent back by the database may include redundancy in two ways: some elements may...
135
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
126
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...