Author of the publication

Proof Support for Common Logic

, , , , and . Automated Reasoning in Quantified Non-Classical Logics (ARQNL), 33, page 42--58. EasyChair, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Applications of PSL to Semantic Web Services.. SWDB, page 217-230. (2003)Ontologies for Integrating Engineering Applications., , and . J. Comput. Inf. Sci. Eng., 1 (1): 12-22 (2001)The Babel of the Semantic Web Tongues -- In Search of the Rosetta Stone of Interoperability, , , , , and . What will the Semantic Web look like 10 Years from now? Workshop at ISWC, (2012)A Sideways Look at Upper Ontologies., , , and . FOIS, volume 267 of Frontiers in Artificial Intelligence and Applications, page 9-22. IOS Press, (2014)Merging the DOLCE and PSL Upper Ontologies., and . KEOD, page 16-26. SciTePress, (2014)Model-theoretic Approaches to Semantic Integration (Extended Abstract).. Semantic Interoperability and Integration, volume 04391 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Architectures for Semantic Integration., and . Semantic Interoperability and Integration, volume 04391 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Ontologies for Dates and Duration.. KR, AAAI Press, (2010)Ontology Mapping in an e-Commerce Application., , and . FOMI, volume 225 of Lecture Notes in Business Information Processing, page 25-38. Springer, (2015)Interdependence among material objects and voids., , and . FOIS, volume 267 of Frontiers in Artificial Intelligence and Applications, page 37-50. IOS Press, (2014)