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: Kakas:Antonis_C=
Contributed to:
2014
1998
19981995199519941991
1990Wrote 9 papers:
- KR-2014-DiakidoyKM0 #approach #automation #comprehension
- A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).
- ECDL-1998-ZervosPDDPPPKS
- 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.