393 search results - page 42 / 79 » Probabilistic Description Logic Programs |
117
click to vote
CORR
2004
Springer
15 years 11 days ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
136
Voted
JAPLL
2007
15 years 12 days ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
135
click to vote
COMPASS
1994
15 years 4 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
105
click to vote
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...