Vai al contenuto principale della pagina

Mathematical aspects of logic programming semantics / / Pascal Hitzler, Anthony Seda



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Hitzler Pascal Visualizza persona
Titolo: Mathematical aspects of logic programming semantics / / Pascal Hitzler, Anthony Seda Visualizza cluster
Pubblicazione: Boca Raton, FL : , : CRC Press, , [2011]
©2011
Edizione: 1st ed.
Descrizione fisica: 1 online resource (296 p.)
Disciplina: 005.115
Soggetto topico: Logic programming
Programming languages (Electronic computers) - Semantics
Classificazione: COM031000COM037000COM051240
Persona (resp. second.): SedaAnthony
Note generali: "A Chapman & Hall book."
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts.
Sommario/riassunto: Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration--
Titolo autorizzato: Mathematical aspects of logic programming semantics  Visualizza cluster
ISBN: 1-000-21872-4
0-429-09423-X
1-4398-2962-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910411652203321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Chapman & Hall/CRC studies in informatics series.
Recent advances in constraints : 12th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : Revised selected papaers / François Fages, Francesca Rossi, Sylvain Soliman (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2007 : <12.; : <2007
Recent advances in constraints : 13th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2008 : Rome, Italy, june 18-20, 2009 : Revised selected papaers / Angelo Oddi...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2008 : <13.; : <2008
Recent advances in constraints : 11th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : Revised selected and invited papers / François Azevedo...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2006 : <11.; : 2006
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
BETTELLI, Oscar
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers
International workshop on constraint solving and constraint logic programming : <2005