Sciweavers

4573 search results - page 86 / 915

» Automated Reasoning

98

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

15 years 8 months ago

Answer Sets: From Constraint Programming Towards Qualitative Optimization

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

106

LPNMR
2004
Springer

84views Automated Reasoning» more LPNMR 2004»

Properties of Iterated Multiple Belief Revision

15 years 8 months ago

Properties of Iterated Multiple Belief Revision

Download www.cit.uws.edu.au

Dongmo Zhang

claim paper

Read More »

86

ECSQARU
2003
Springer

74views Automated Reasoning» more ECSQARU 2003»

Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding

15 years 8 months ago

Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

111

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

15 years 7 months ago

Download www.dagstuhl.de

Guillaume Aucher

claim paper

Read More »

123

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

15 years 8 months ago

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

« Prev « First page 86 / 915 Last » Next »