66 search results - page 8 / 14 » A Logic for Reasoning about Upper Probabilities |
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
153
Voted
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
183
click to vote
TPHOL
2009
IEEE
16 years 15 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
179
Voted
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
147
click to vote
AGI
2008
15 years 7 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...