1194 search results - page 186 / 239 » A Language for Implementing Arbitrary Logics |
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
GEOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
DFG
2004
Springer
14 years 2 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...