Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9--13, 2003. Proceedings
type: Item
instance of: scholarly article
title: Logic programming. 19th international conference, ICLP 2003, Mumbai, India, December 9--13, 2003. Proceedings
zbMATH Open document ID: 1029.00063
published in: Lecture Notes in Computer Science
publication date: 2004-01-12T00:00:00Z
full work available at URL: t2916.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0993.00051). Indexed articles: \textit{Ridoux, Olivier}, Logic information systems for logic programmers., 3-19 [Zbl 1204.68254] \textit{Winsborough, William H.}, A logic programming view of authorization in distributed systems., 20-46 [Zbl 1204.68064] \textit{Valencia, Frank D.}, Concurrency, time, and constraints., 72-101 [Zbl 1204.68138] \textit{Bruscoli, Paola; Guglielmi, Alessio}, A tutorial on proof theoretic foundations of logic programming., 109-127 [Zbl 1204.68050] \textit{Farré, Carles; Teniente, Ernest; Urpí, Toni}, Handling existential derived predicates in view updating., 148-162 [Zbl 1204.68081] \textit{Eiter, Thomas; Fink, Michael; Greco, Gianluigi; Lembo, Domenico}, Efficient evaluation of logic programs for querying data integration systems., 163-177 [Zbl 1204.68080] \textit{Pradhan, Shekhar}, Argumentation databases., 178-193 [Zbl 1204.68084] \textit{Van Nieuwenborgh, Davy; Vermeir, Dirk}, Order and negation as failure., 194-208 [Zbl 1204.68062] \textit{Lonc, Zbigniew; Truszczyński, Mirosław}, Computing minimal models, stable models, and answer sets., 209-223 [Zbl 1204.68057] \textit{Eiter, Thomas; Fink, Michael}, Uniform equivalence of logic programs under the stable model semantics., 224-238 [Zbl 1204.68052] \textit{Zhao, Yuting; Lin, Fangzhen}, Answer set programming phase transition: a study on randomly generated programs., 239-253 [Zbl 1204.68066] \textit{Lagoon, Vitaly; Mesnard, Fred; Stuckey, Peter J.}, Termination analysis with types is more accurate., 254-268 [Zbl 1204.68054] \textit{Langevine, Ludovic; Ducassé, Mireille; Deransart, Pierre}, A propagation tracer for GNU-Prolog: from formal definition to efficient implementation., 269-283 [Zbl 1204.68055] \textit{Dovier, A.; Pontelli, E.; Rossi, G.}, Intensional sets in CLP., 284-299 [Zbl 1204.68051] \textit{Granvilliers, Laurent; Monfroy, Eric}, Implementing constraint propagation…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2025866
zbMATH Keywords: Logic programming
zbMATH Keywords: ICLP 2003
zbMATH Keywords: Mumbai (India)
MaRDI profile type: Publication
DOI: 10.1007/11562931
OpenAlex ID: W2104948204
description: scientific article; zbMATH DE number 2025866