599 search results - page 19 / 120 » Integrating answer set programming and constraint logic prog... |
143
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
160
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
121
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
141
click to vote
RR
2010
Springer
15 years 1 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
112
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...