254 search results - page 11 / 51 » Answer Sets for Propositional Theories |
JAIR
2011
13 years 2 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
AIS
1999
Springer
13 years 7 months ago
1999
Springer
The Internet and other interactive networks are diffusing across the globe at rates that vary from country to country. Typically, economic and market structure variables are used t...
ASP
2001
Springer
13 years 11 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We review the literature on Free/Libre Open Source Software (FLOSS) development and on software development, distributed work and teams more generally to develop a theoretical mod...
ASP
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...