4573 search results - page 189 / 915 » Automated Reasoning |
102
Voted
DEON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question
125
Voted
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
ers in brackets denote the page numbers of the abstracts. If several authors are present then the one presenting is marked by an asterisk. Invited speakers Invited speakers Silbers...
93
Voted
DLOG
2006
15 years 5 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
112
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
137
Voted
DLOG
2011
14 years 7 months ago
2011
We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose ...