Search Results for author:
Found 6 papers, 0 papers with code
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence.
Automated Aggregator -- Rewriting with the Counting Aggregate
Answer set programming is a leading declarative constraint programming paradigm with wide use for complex knowledge-intensive applications.
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
It is common for search and optimization problems to have alternative equivalent encodings in ASP.
The informal semantics of Answer Set Programming: A Tarskian perspective
In 1999, the seminal papers on answer set programming proposed to use this logic for a different purpose, namely, to model and solve search problems.
Dual-normal Logic Programs - the Forgotten Class
Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretical standpoint and can potentially lead to improvements in the design of answer set programming solvers.
Abstract Modular Systems and Solvers
Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience and computational benefits.
