Sciweavers

519 search results - page 8 / 104

» Qualitative choice logic

55

Voted

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

15 years 2 months ago

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

Download sbml.org

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Deni...

claim paper

Read More »

62

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

14 years 11 months ago

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

Download www.aaai.org

Joseph Y. Halpern

claim paper

Read More »

65

UAI
1992

105views Artificial Intelligence» more UAI 1992»

Modal Logics for Qualitative Possibility and Beliefs

14 years 10 months ago

Modal Logics for Qualitative Possibility and Beliefs

Download intsys.msu.ru

Craig Boutilier

claim paper

Read More »

73

AMAI
1998
Springer

101views Artificial Intelligence» more AMAI 1998»

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

14 years 9 months ago

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

Download users.dimi.uniud.it

Giorgio Brajnik, Daniel J. Clancy

claim paper

Read More »

79

CACM
2007

88views more CACM 2007»

The choice uncertainty principle

14 years 9 months ago

The choice uncertainty principle

Download cs.gmu.edu

: The choice uncertainty principle says that it is impossible to make an unambiguous choice between near-simultaneous events under a deadline. This principle affects the design of ...

Peter J. Denning

claim paper

Read More »

« Prev « First page 8 / 104 Last » Next »