Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996
DBLP:	db/conf/fapr/fapr96.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 58  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Carine Van den Acker, Jan Vanthienen. Integrating Statistical Audit Evidence with Belief Function Theory.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Grigoris Antoniou. A Comparative Survey of Default Logic Variants.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Grigoris Antoniou, Mary-Anne Williams. Default Reasoning and Belief Revision in the CIN Project.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Philippe Balbiani. Modal Logics with Relative Accessibility Relations.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov. Geometrical Structures and Modal Logic.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig. Talkin'bout Consistency, or: When Logically Possible Becomes Possible.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Alessandro Cimatti, Luciano Serafini. Mechanizing Multi-Agent Reasoning with Belief Contexts.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Subrata Kumar Das, John Fox, Paul Krause. A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. General Domain Circumscription in its First-Order Reduction.	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996
	Conference paper Ho Ngoc Duc. Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract).	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings 1996	(0)	1996

Show item 1 to 10 of 58  

Your query returned 58 matches in the database.