3983 search results - page 17 / 797 » Conceptual logic programs |
ER
2009
Springer
14 years 3 months ago
2009
Springer
ER
2009
Springer
14 years 3 months ago
2009
Springer
AAAI
2006
13 years 10 months ago
2006
Several forms of reasoning in AI
VRST
1999
ACM
14 years 28 days 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...
ALP
1994
Springer
14 years 22 days ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...