cs-conference-ranking.org Search 971 venues

Stefan Brning

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

8

Active years

1993–2001

Best venue rank

A

Where they publish

Papers

11 indexed papers, newest first.

Year	Venue	Title	Authors
2001	KI	Exploiting Conditional Equivalences in Connection Calculi.	Stefan Brning
1999	ECSQARU	Avoiding Non-ground Variables.	Stefan Brning, Torsten Schaub
1996	CADE	XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description.	Torsten Schaub, Stefan Brning, Pascal Nicolas
1996	ECAI	Prolog Technology for Default Reasoning (An Abridged Report).	Torsten Schaub, Stefan Brning
1996	ISMIS	A Model-Based Approach to Consistency-Checking.	Stefan Brning, Torsten Schaub
1995	TABLEAUX	Issues in Theorem Proving Based on the Connection Method.	Wolfgang Bibel, Stefan Brning, Uwe Egly, Daniel S. Korn, Thomas Rath
1994	CADE	KoMeT.	Wolfgang Bibel, Stefan Brning, Uwe Egly, Thomas Rath
1994	CADE	Detecting Non-Provable Goals.	Stefan Brning
1994	IPMU	Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report.	Stefan Brning, Torsten Schaub
1994	LPAR	Towards Efficient Calculi for Resource-Oriented Deductive Planning.	Stefan Brning
1993	LPAR	Search Space Pruning by Checking Dynamic Term Growth.	Stefan Brning