Sciweavers

4401 search results - page 336 / 881
» Computing with Default Logic
Sort
View
UAI
2004
15 years 8 months ago
Using Arguments for Making Decisions: A Possibilistic Logic Approach
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
Leila Amgoud, Henri Prade
WSPI
2004
15 years 8 months ago
Logic, Neuroscience and Phenomenology in Cahoots?
Cognitive sciences, including cognitive neurosciences, have provided important insights into the notions of awareness, implicit/explicit information processing in knowledge, percep...
Ahti-Veikko Pietarinen
183
Voted
WOA
2000
15 years 8 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
ECAI
2010
Springer
15 years 7 months ago
Linear Logic for Non-Linear Storytelling
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat
HEURISTICS
2006
102views more  HEURISTICS 2006»
15 years 6 months ago
A logic of soft constraints based on partially ordered preferences
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...
Nic Wilson