Andreas Herzig and Troquard - Free people check

(1 - 8 from 8

)

Philippe Balbiani, Andreas Herzig & Nicolas Troquard, Alternative...

philpapers.org

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative...

ECAI 2014: 21st European Conference on Artificial Intelligence

books.google.de

REFERENCES [1] Philippe Balbiani, Andreas Herzig, and Nicolas Troquard, 'Dynamic logic of propositional assignments: a well-behaved variant of PDL', ...

ECAI 2016: 22nd European Conference on Artificial Intelligence,

books.google.de

Philippe Balbiani, Andreas Herzig, François Schwarzentruber, and Nicolas Troquard, 'DL-PA and DCL-PC: model checking and satisfiability problem are indeed ...

[ ] Alternative axiomatics and complexity of deliberative...

arxiv.org

Philippe Balbiani Andreas Herzig Nicolas Troquard ... Abstract: We propose two alternatives to Xu's axiomatization of the Chellas STIT.

alternative axiomatics and complexity of deliberative stit theories - jstor

www.jstor.org

PHILIPPE BALBIANI, ANDREAS HERZIG AND NICOLAS TROQUARD. ALTERNATIVE AXIOMATICS AND COMPLEXITY. OF DELIBERATIVE STIT THEORIES.

dblp: Nicolas Troquard

dblp.uni-trier.de

List of computer science publications by Nicolas Troquard

All web results to the name "Andreas Herzig"

LAMAS 2010

icr.uni.lu

Andreas Herzig and Nicolas Troquard: 14:10-14:35: A Logical Account of Mindreading Michal Sindlar, Mehdi Dastani and John-Jules Meyer: 14:35-15:00: Becoming aware

IJCAI papers on the web - Changelog

www.cvpapers.com

Andreas Herzig, Emiliano Lorini, Frédéric Moisan and Nicolas Troquard; A general elicitation-free protocol for allocating indivisible goods Sylvain Bouveret and

Related search requests for Andreas Herzig

Olivier Gasquet
Dominique Longin
Paul Sabatier

Carole Adam
Pascal Hitzler
James Harland

Maurice Pagnucco
François Schwarzentruber

Person "Herzig" (1)
Forename "Andreas" (32597)
Name "Herzig" (416)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Andreas Herzig and Troquard Free People Check