Sciweavers

1426 search results - page 109 / 286
» Specification of nonmonotonic reasoning
Sort
View
DIAGRAMS
2000
Springer
15 years 10 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
AI
2001
Springer
15 years 10 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
EWCBR
2008
Springer
15 years 8 months ago
Semantics and Experience in the Future Web
Abstract. The Web is a vibrant environment for innovation in computer science, AI, and social interaction; these innovations come in such great number and speed that it is unlikely...
Enric Plaza
DLOG
2006
15 years 7 months ago
Finding Subsumers for Natural Language Presentation
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
Chris Mellish, Jeff Z. Pan
LICS
2010
IEEE
15 years 4 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius