Solving, Reasoning, and Programming in Common Logic

Author

Kutsia, T. ; Marin, Mario

Author_Institution

Res. Inst. for Symbolic Comput., Johannes Kepler Univ., Linz, Austria

fYear

2012

Firstpage

119

Lastpage

126

Abstract

Common Logic (CL) is a recent ISO standard for exchanging logic-based information between disparate computer systems. Sharing and reasoning upon knowledge represented in CL require equation solving over terms of this language. We study computationally well-behaved fragments of such solving problems and show how they can influence reasoning in CL and transformations of CL expressions.

Keywords

ISO standards; formal logic; knowledge representation; logic programming; problem solving; CL expression transformations; CL fragments; ISO standard; common logic; disparate computer systems; equation solving problems; knowledge representation; logic programming; logic-based information exchange; reasoning; Cognition; Complexity theory; Equations; Programming; Semantics; Standards; Syntactics; Common Logic; Unification; matching; resolution;

fLanguage

English

Publisher

ieee

Conference_Titel

Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on

Conference_Location

Timisoara

Print_ISBN

978-1-4673-5026-6

Type

conf

DOI

10.1109/SYNASC.2012.27

Filename

6481020

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1594069