Toggle navigation
English
Ελληνικά
English
English
Ελληνικά
Login
Toggle navigation
View Item
Home
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
View Item
Home
Δημοσιεύσεις ΠΚ / UCY Publications
002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
Τμήμα Πληροφορικής / Department of Computer Science
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Article
A-system: Declarative programming with abduction
Date
2001
Author
Van Nuffelen, B.
Kakas, Antonis C.
ISSN
0302-9743
Source
6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001
Volume
2173 LNAI
Pages
393-397
Google Scholar check
Metadata
Show full item record
Links
https://www.scopus.com/inward/record.uri?eid=2-s2.0-20144375672&doi=10.1007%2f3-540-45402-0_29&partnerID=40&md5=742306ee064707ed7189165b718dec0a
DOI
10.1007/3-540-45402-0_29
URI
http://gnosis.library.ucy.ac.cy/handle/7/55126
Collections
Τμήμα Πληροφορικής / Department of Computer Science
[1952]
Cite as
APA
Vancouver
Harvard
BibTeX
Search Gnosis
This Collection
Browse
Everywhere
Communities & Collections
By Submission Date
Authors
Titles
Subjects
By Type
By Department
By Faculty
This Collection
By Submission Date
Authors
Titles
Subjects
By Type
By Department
By Faculty
My Account
Login
Statistics
View Usage Statistics