4617 search results - page 280 / 924 » Automation of Diagrammatic Reasoning |
181
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
167
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
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...
126
click to vote
AAAI
1990
15 years 7 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
154
click to vote
APIN
2005
15 years 6 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
183
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we present our case-based browsing advisor for the Web, called BROADWAY. BROADWAY follows a group of users during their navigations and supports an indirect collabor...