Sciweavers

352 search results - page 9 / 71
» Preferences, Contexts and Answer Sets
Sort
View
ACSW
2003
14 years 11 months ago
Middleware for Context Sensitive Mobile Applications
Contextual information such as spatial location can significantly enhance the utility of mobile applications. We introduce the concept of active preferences that represent a comb...
Kenneth A. Hawick, Heath A. James
IJCAI
2001
14 years 11 months ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang
CORR
2010
Springer
117views Education» more  CORR 2010»
14 years 10 months ago
Testing and Debugging Techniques for Answer Set Solver Development
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
Robert Brummayer, Matti Järvisalo
AAAI
2012
13 years 8 days ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
CLIMA
2004
14 years 11 months ago
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
Inna Pivkina, Enrico Pontelli, Tran Cao Son