Content deleted Content added
→cite book, journal | Alter: issue, url, doi. URLs might have been anonymized. Add: doi, s2cid, authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this tool. Report bugs. | #UCB_Gadget |
ce |
||
Line 355:
*{{cite book |first1=N. |last1=Bidoit |first2=C. |last2=Froidevaux |chapter=Minimalism subsumes default logic and circumscription |chapter-url= |title=Proceedings: Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 |publisher=IEEE Computer Society Press |date=1987 |isbn=978-0-8186-0793-6 |id=87CH2464-6 |pages=89–97 |url=}}
*{{cite book |first1=T. |last1=Eiter |first2=G. |last2=Gottlob |chapter=Complexity results for disjunctive logic programming and application to nonmonotonic logics |chapter-url=http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz |title=ILPS '93: Proceedings of the 1993 international symposium on Logic programming |publisher=MIT Press |date=1993 |isbn=978-0-262-63152-5 |pages=266–278 }}
*{{cite journal |first1=M. |last1=van Emden |author2-link=Robert Kowalski |first2=R. |last2=Kowalski |title=The semantics of predicate logic as a programming language |journal=Journal of the ACM |volume=23 |issue= 4|pages=733–742 |date=1976 |doi=10.1145/321978.321991 |citeseerx=10.1.1.64.9246 |s2cid=11048276 |url=http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf}}
*{{cite journal |first=F. |last=Fages |title=Consistency of Clark's completion and existence of stable models |journal=Journal of Methods of Logic in Computer Science |volume=1 |issue= |pages=51–60 |date=1994 |doi= |citeseerx=10.1.1.48.2157
|url=https://www.researchgate.net/publication/220492237}}
| |||