Anastasia Analyti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Unifying justifications and debugging for answer-set programs	2019-04-24	Paper
Extended RDF: computability and complexity issues Annals of Mathematics and Artificial Intelligence	2016-01-28	Paper
MWeb: a principled framework for modular web rule bases and its semantics ACM Transactions on Computational Logic	2015-09-17	Paper
Why-provenance information for RDF, rules, and negation Annals of Mathematics and Artificial Intelligence	2014-06-26	Paper
Justifications for logic programming Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
A framework for modular ERDF ontologies Annals of Mathematics and Artificial Intelligence	2013-08-26	Paper
Extended RDF as a semantic foundation of rule markup languages (available as arXiv preprint)	2009-04-28	Paper
scientific article; zbMATH DE number 5081758 (Why is no real title available?)	2007-01-04	Paper
Journal on Data Semantics II Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2088798 (Why is no real title available?)	2004-08-12	Paper
A theory of contexts in information bases Information Systems	2002-06-27	Paper
Deriving and retrieving contextual categorical information through instance inheritance Fundamenta Informaticae	2001-07-03	Paper
scientific article; zbMATH DE number 1337732 (Why is no real title available?)	1999-09-16	Paper
Deriving semantic information through property covering and inheritance Data & Knowledge Engineering	1999-01-12	Paper
Specialization by restriction and scheme derivations Information Systems	1999-01-11	Paper
Reliable Semantics for Extended Logic Programs with Rule Prioritization Journal Of Logic And Computation	1995-07-05	Paper
Multi-directory hashing Information Systems	1994-02-06	Paper
Performance analysis of a main memory multi-directory hashing technique Information Processing Letters	1993-05-16	Paper

Research outcomes over time

This page was built for person: Anastasia Analyti