Title :
Solving, Reasoning, and Programming in Common Logic
Author :
Kutsia, T. ; Marin, Mario
Author_Institution :
Res. Inst. for Symbolic Comput., Johannes Kepler Univ., Linz, Austria
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;
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
DOI :
10.1109/SYNASC.2012.27
