Nicolas Spyratos

Available identifiers

zbMath Open spyratos.nicolasMaRDI QIDQ1265693

List of research outcomes

Publication	Date of Publication	Type
Deductive databases in four-valued logic: rule semantics and models	2023-05-16	Paper
Update rules in datalog programs	2022-08-30	Paper
Passive and active rules in deductive databases	2022-08-18	Paper
Hypothesis-based semantics of logic programs in multivalued logics	2017-07-12	Paper
Maximal state independent approximations to minimal real change	2015-06-17	Paper
Computing Supports of Conjunctive Queries on Relational Tables with Functional Dependencies	2010-10-01	Paper
Foundations of Information and Knowledge Systems	2009-05-14	Paper
Synthesizing Monadic Predicates	2008-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q3507548	2008-06-20	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Methods and Applications of Artificial Intelligence	2007-09-25	Paper
Computing Intensions of Digital Library Collections	2007-09-03	Paper
Knowledge Discovery in Inductive Databases	2007-05-02	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
Constraint-Based Mining and Inductive Databases	2006-11-13	Paper
Journal on Data Semantics II	2005-08-17	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making	2005-08-17	Paper
Parametrized semantics of logic programs -- a unifying framework	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3045547	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044374	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737983	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4708597	2003-06-18	Paper
Monotonic complements for independent data warehouses	2002-09-03	Paper
A theory of contexts in information bases	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4536447	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2708312	2001-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4494334	2001-05-20	Paper
Enforcement of integrity constraints by means of minimal sufficient changes	2001-04-26	Paper
Deterministic enforcement of constraints	2001-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4504004	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4955334	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4944880	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4941889	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4939286	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4264102	1999-09-16	Paper
Update rules in datalog programs	1999-02-02	Paper
Deriving semantic information through property covering and inheritance	1999-01-12	Paper
Specialization by restriction and scheme derivations	1999-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4218853	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4302937	1994-08-21	Paper
Introducing negative information in relational databases	1988-01-01	Paper
Update semantics of relational views	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3051422	1978-01-01	Paper
A fast algorithm for reliability calculations in sparse networks	1977-01-01	Paper
A Method for Calculation of Network Reliability	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicolas Spyratos