Sciweavers

34 search results - page 5 / 7
» NL Domain Explanations in Knowledge Based MAT
Sort
View
123
Voted
ICAIL
2003
ACM
15 years 9 months ago
Predicting Outcomes of Case-Based Legal Arguments
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
Stefanie Brüninghaus, Kevin D. Ashley
AI
2008
Springer
15 years 3 months ago
What makes propositional abduction tractable
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
Gustav Nordh, Bruno Zanuttini
115
Voted
IJCAI
2007
15 years 5 months ago
Transferring Learned Control-Knowledge between Planners
As any other problem solving task that employs search, AI Planning needs heuristics to efficiently guide the problem-space exploration. Machine learning (ML) provides several tec...
Susana Fernández, Ricardo Aler, Daniel Borr...
146
Voted
EUROSYS
2010
ACM
16 years 22 days ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
123
Voted
CLEIEJ
2004
123views more  CLEIEJ 2004»
15 years 3 months ago
BMM: A Business Modeling Method For Information Systems Development
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
Jonás A. Montilva Calderón, Judith B...