Sciweavers

558 search results - page 52 / 112
» Conversational Case-Based Reasoning
Sort
View
AAAI
1994
15 years 4 months ago
Heuristic Harvesting of Information for Case-Based Argument
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
Edwina L. Rissland, David B. Skalak, M. Timur Frie...
MVA
1996
113views Computer Vision» more  MVA 1996»
15 years 4 months ago
Ultra Sonic Image Interpretation for Non-Destructive Testing
For interpretation of ultra sonic images an image interpretation system based on case based reasoning is proposed. We describe the case representation and the casebased reasoningp...
Petra Perner
FROCOS
2009
Springer
15 years 9 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon
AGENTCL
2003
Springer
15 years 8 months ago
Commitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
ATAL
2005
Springer
15 years 8 months ago
An integrated framework for adaptive reasoning about conversation patterns
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
Michael Rovatsos, Felix A. Fischer, Gerhard Wei&sz...