3481 search results - page 464 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
148
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
142
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
124
click to vote
COMMA
2006
15 years 5 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
116
click to vote
IJCAI
1993
15 years 5 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
164
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...