835 search results - page 20 / 167 » Nonmonotonic Reasoning in Probabilistics |
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
DLOG
2007
13 years 9 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
ASP
2005
Springer
14 years 28 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
ECSQARU
2001
Springer
13 years 12 months ago
2001
Springer