Sciweavers

540 search results - page 63 / 108
» A Computational Logic Approach to Syllogisms in Human Reason...
Sort
View
AMAI
2000
Springer
15 years 10 days ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg
92
Voted
HUC
1999
Springer
15 years 4 months ago
Amplifying Reality
Many novel applications take on the task of moving the personal computer away from the desktop with the approach to merge digital information with physical space and objects. These...
Jennica Falk, Johan Redström, Staffan Bjö...
104
Voted
KES
2004
Springer
15 years 5 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
99
Voted
NGC
2006
Springer
102views Communications» more  NGC 2006»
15 years 14 days ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás
111
Voted
ASP
2003
Springer
15 years 5 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke