Sciweavers

420 search results - page 24 / 84
» Reasoning about Evolving Nonmonotonic Knowledge Bases
Sort
View
TPLP
2010
135views more  TPLP 2010»
13 years 6 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
AAAI
1993
13 years 9 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip
FLAIRS
2008
13 years 10 months ago
Causal Reasoning with Contexts Using Dependent Types
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
Richard Dapoigny, Patrick Barlatier
LREC
2008
117views Education» more  LREC 2008»
13 years 9 months ago
Evolutionary Basic Notions for a Thematic Representation of General Knowledge
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
Alain Joubert, Mathieu Lafourcade
HICSS
2003
IEEE
209views Biometrics» more  HICSS 2003»
14 years 29 days ago
A Tool for the Capture and Use of Process Knowledge in Process Tailoring
Software processes are critical assets of software development organizations. The knowledge about context in which a process is defined and tailored is typically lost during softw...
Peng Xu, Balasubramaniam Ramesh