Titlebook: Rule Technologies: Foundations, Tools, and Applications; 9th International Sy Nick Bassiliades,Georg Gottlob,Dumitru Roman Conference proce

FEAS

Semantics of Notation3 Logic: A Solution for Implicit Quantification, could be formalized. Our formalization is then put into context by integrating it into a model-theoretic definition of the whole language. We finish our contribution by arguing why universal quantification should be handled differently than currently prescribed.

custody

Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language of functional and functional-logic languages with lazy semantics (e.g.: . and . respectively) and the “Similarity-based Equality” of fuzzy logic languages using weak unification (..., .), a notion beyond classic syntactic unification.

phytochemicals

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- by exploiting algorithmic techniques developed for conjunctive query answering under guarded Datalog+/-, that is, a key member of the Datalog+/- family of KR languages, while the lower bound is obtained by simulating the behavior of a polynomial space Turing machine.

SOB