17 search results - page 2 / 4 » Executable Set Theory and Arithmetic Encodings in Prolog |
DEXA
2000
Springer
13 years 9 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
CBMS
2007
IEEE
13 years 11 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
AI
2011
Springer
12 years 12 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...