BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Brazil
1 × Canada
1 × Denmark
1 × Germany
1 × Spain
1 × United Kingdom
2 × USA
3 × Italy
Collaborated with:
M.J.Maher I.Tachmazidis G.Flouris M.Arief M.Williams V.Sperschneider W.Faber C.Papatheodorou A.Bikakis A.Analyti C.V.Damásio N.Dimaresis G.Governatori D.Billington S.Kotoulas M.Ostrowski T.Schaub
Talks about:
logic (4) reason (3) defeas (3) knowledg (2) modular (2) semant (2) modul (2) rule (2) base (2) use (2)

Person: Grigoris Antoniou

DBLP DBLP: Antoniou:Grigoris

Contributed to:

ICLP 20142014
KR 20122012
ICLP 20112011
KR 20102010
KR 20082008
SAC 20082008
ICLP 20022002
SAC 20022002
JICSLP 19981998
KR 19981998
SEKE 19931993
SEKE 19921992
CSL 19891989

Wrote 13 papers:

ICLP-J-2014-TachmazidisAF #big data #performance #semantics
Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
KR-2012-TachmazidisAFK #parallel #reasoning #towards
Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).
ICLP-2011-OstrowskiFSA #evolution #ontology #using
Evolution of Ontologies using ASP (MO, GF, TS, GA), pp. 16–27.
KR-2010-AntoniouPB #reasoning
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).
KR-2008-AnalytiAD #composition #framework #semantics #web
A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
SAC-2008-AntoniouDG #reasoning
A system for modal and deontic defeasible reasoning (GA, ND, GG), pp. 2261–2265.
ICLP-2002-AntoniouM #logic programming #source code
Embedding Defeasible Logic into Logic Programs (GA, MJM), pp. 393–404.
SAC-2002-AntoniouA #declarative #execution
Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
JICSLP-1998-AntoniouBM #logic #normalisation
Normal Forms for Defeasible Logic (GA, DB, MJM), pp. 160–174.
A Strategy for Revising Default Theory Extensions (MAW, GA), pp. 24–35.
SEKE-1993-Antoniou #information management #specification
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules (GA), pp. 183–190.
SEKE-1992-Antoniou #composition #knowledge base #logic
Modularity for Logical Knowledge Bases (GA), pp. 87–93.
CSL-1989-AntoniouS #on the #verification
On the Verification of Modules (GA, VS), pp. 16–35.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.