4370 search results - page 40 / 874 » Algebra of Logic Programming |
141
Voted
LOGCOM
2008
15 years 2 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
122
Voted
AAAI
2006
15 years 3 months ago
2006
Several forms of reasoning in AI
107
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
111
click to vote
IANDC
2010
15 years 29 days ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
119
click to vote
VRST
1999
ACM
15 years 6 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...