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 × Austria
1 × Italy
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:
P.Mancarella A.Michael Y.Dimopoulos P.M.Dung I.Diakidoy L.Michael R.Miller C.Zervos S.Panis D.Dionysiou M.Dionysiou C.S.Pattichis A.Pitsillides G.A.Papadopoulos C.Schizas
Talks about:
program (6) logic (6) abduct (5) constraint (1) comprehens (1) psycholog (1) electron (1) approach (1) without (1) societi (1)

Person: Antonis C. Kakas

DBLP DBLP: Kakas:Antonis_C=

Contributed to:

KR 20142014
ECDL 19981998
JICSLP 19981998
ICLP 19951995
ILPS 19951995
ICLP 19941994
ILPS 19911991
VLDB 19901990

Wrote 9 papers:

KR-2014-DiakidoyKM0 #approach #automation #comprehension
A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).
Electronic Roads in the Information Society (CZ, SP, DD, MD, CSP, AP, GAP, ACK, CS), pp. 689–690.
JICSLP-1998-KakasM #abduction #logic programming
Applications of Abductive Logic Programming (ACK, AM), pp. 343–344.
ICLP-1995-KakasM #abduction #constraints #logic programming
Integrating Abductive and Constraint Logic Programming (ACK, AM), pp. 399–413.
ILPS-1995-DimopoulosK #logic programming
Logic Programming without Negation as Failure (YD, ACK), pp. 369–383.
ICLP-1994-KakasM #abduction #logic programming
Abduction and Abductive Logic Programming (ACK, PM), pp. 18–19.
ICLP-1994-KakasMD #logic programming #semantics #source code
The Acceptability Semantics for Logic Programs (ACK, PM, PMD), pp. 504–519.
ISLP-1991-KakasM #logic programming #source code
Stable Theories for Logic Programs (ACK, PM), pp. 85–100.
VLDB-1990-KakasM #abduction #database
Database Updates through Abduction (ACK, PM), pp. 650–661.

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.