CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Adding Equivalence Classes to Stålmarck's Method in First Order Logic

Magnus Björk (Institutionen för datavetenskap, Formella metoder)
Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004) (ISSN 1613-0073). (2004)
[Konferensbidrag, refereegranskat]

Stålmarck's method is a theorem proving method for propositional logic that has been known for more than a decade, and which has been successful in many industrial applications. During the last few years, a first order logic lifting of the method has been developed. This extended abstract presents the major features of the extension, and describes work in progress on how to lift the equivalence relations known from the propositional version of the method.

Nyckelord: Equivalence Relations, Stålmarck's Method, First Order Logic



Denna post skapades 2006-09-28.
CPL Pubid: 2264

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap, Formella metoder (2002-2004)

Ämnesområden

Information Technology

Chalmers infrastruktur