505 search results - page 20 / 101 » Answer Set Programming with Templates |
CONSTRAINTS
2008
14 years 9 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
ASP
2003
Springer
15 years 2 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...
100
click to vote
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
122
click to vote
TPLP
2010
14 years 8 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
103
click to vote
JAIR
2012
13 years 3 days ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...