3047 search results - page 412 / 610 » On the Meaning of Logical Completeness |
182
click to vote
ICLP
2004
Springer
16 years 17 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
192
click to vote
ISCIS
2004
Springer
16 years 17 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
238
click to vote
JELIA
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
202
click to vote
SEKE
2004
Springer
16 years 16 days ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
179
click to vote
ATS
2003
IEEE
16 years 15 days ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...