skip to content
Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings Preview this item
ClosePreview this item
Checking...

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings

Author: Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio Terracina
Publisher: Berlin : Springer, 2005.
Series: Lecture notes in computer science, Lecture notes in artificial intelligence., 3662.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:

Constitutes the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005. This book contains topics addressing semantics of languages; relationships  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongress
Congresses
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Chitta Baral; Gianluigi Greco; Nicola Leone; Giorgio Terracina
ISBN: 3540285385 9783540285380
OCLC Number: 254724957
Description: 1 online resource (XIII, 454 Seiten) : Diagramme.
Contents: Invited Papers.- Nonmonotonic Reasoning in FLORA-2.- Data Integration and Answer Set Programming.- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development.- ASP Foundations.- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates.- Loops: Relevant or Redundant?.- Approximating Answer Sets of Unitary Lifschitz-Woo Programs.- On Modular Translations and Strong Equivalence.- ASP Extensions.- Guarded Open Answer Set Programming.- External Sources of Computation for Answer Set Solvers.- Answer Sets for Propositional Theories.- Applications.- An ID-Logic Formalization of the Composition of Autonomous Databases.- On the Local Closed-World Assumption of Data-Sources.- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming.- Actions and Causations.- An Approximation of Action Theories of and Its Application to Conformant Planning.- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.- Some Logical Properties of Nonmonotonic Causal Theories.- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.- Algorithms and Computation.- Platypus: A Platform for Distributed Answer Set Solving.- Solving Hard ASP Programs Efficiently.- Mode-Directed Fixed Point Computation.- Lookahead in Smodels Compared to Local Consistencies in CSP.- Foundations.- Nested Epistemic Logic Programs.- An Algebraic Account of Modularity in ID-Logic.- Default Reasoning with Preference Within Only Knowing Logic.- Semantics.- A Social Semantics for Multi-agent Systems.- Revisiting the Semantics of Interval Probabilistic Logic Programs.- Routley Semantics for Answer Sets.- The Well Supported Semantics for Multidimensional Dynamic Logic Programs.- Application Track.- Application of Smodels in Quartet Based Phylogeny Construction.- Using Answer Set Programming for a Decision Support System.- Data Integration: a Challenging ASP Application.- Abduction and Preferences in Linguistics.- Inference of Gene Relations from Microarray Data by Abduction.- System Track.- nomore: A System for Computing Preferred Answer Sets.- Integrating an Answer Set Solver into Prolog: - .- circ2dlp - Translating Circumscription into Disjunctive Logic Programming.- Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.- KMonitor- A Tool for Monitoring Plan Execution in Action Theories.- The nomore++ System.- Smodels A - A System for Computing Answer Sets of Logic Programs with Aggregates.- A DLP System with Object-Oriented Features.- Testing Strong Equivalence of Datalog Programs - Implementation and Examples.- SELP - A System for Studying Strong Equivalence Between Logic Programs.- cmodels - SAT-Based Disjunctive Answer Set Solver.
Series Title: Lecture notes in computer science, Lecture notes in artificial intelligence., 3662.
Responsibility: Chitta Baral ... (ed.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/254724957> # Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "254724957" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104351558#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logic_programming_congresses> ; # Logic programming--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nichtmonotones_schliessen> ; # Nichtmonotones Schließen
   schema:about <http://id.worldcat.org/fast/1038846> ; # Nonmonotonic reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logic_programming> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nichtmonotones_schliessen_swd_id_42106990> ; # Nichtmonotones Schließen ; SWD-ID: 42106990
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/datenbanksystem> ; # Datenbanksystem
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logische_programmierung_swd_id_41950963> ; # Logische Programmierung ; SWD-ID: 41950963
   schema:about <http://dewey.info/class/005.15/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/datenbanksystem_swd_id_41132762> ; # Datenbanksystem ; SWD-ID: 41132762
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nonmonotonic_reasoning_congresses> ; # Nonmonotonic reasoning--Congresses
   schema:about <http://id.loc.gov/authorities/subjects/sh96004467> ; # Nonmonotonic reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/wissensreprasentation_swd_id_40495346> ; # Wissensrepräsentation ; SWD-ID: 40495346
   schema:about <http://experiment.worldcat.org/entity/work/data/1104351558#Topic/wissensreprasentation> ; # Wissensrepräsentation
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/11641841> ; # Nicola Leone
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104351558#Meeting/lpnmr_2005_8_2005_09_diamante> ; # LPNMR 2005 (8 : 2005.09 : Diamante)
   schema:contributor <http://viaf.org/viaf/76552741> ; # Chitta Baral
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104351558#Person/terracina_giorgio> ; # Giorgio Terracina
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104351558#Person/greco_gianluigi> ; # Gianluigi Greco
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104351558#Meeting/international_conference_on_logic_programming_and_nonmonotonic_reasoning_8_2005_09_diamante> ; # International Conference on Logic Programming and Nonmonotonic Reasoning (8 : 2005.09 : Diamante)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104351558> ;
   schema:genre "Kongress" ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351558#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351558#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
   schema:name "Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings" ;
   schema:productID "254724957" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/254724957#PublicationEvent/berlin_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104351558#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0663/2005931127-d.html> ;
   schema:url <http://dx.doi.org/10.1007/11546207> ;
   schema:url <http://www.springerlink.com/link.asp?id=904gcxtjkbkb> ;
   schema:url <http://d-nb.info/97604613X/04> ;
   schema:url <http://www.gbv.de/dms/ilmenau/toc/497331586.PDF> ;
   schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?idn=97954873X> ;
   schema:url <http://deposit.ddb.de/cgi-bin/dokserv?id=2671474&prov=M&dok_var=1&dok_ext=htm> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0604/2005931127.html> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3662> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3662> ;
   schema:workExample <http://worldcat.org/isbn/9783540285380> ;
   umbel:isLike <http://d-nb.info/97954873X> ;
   umbel:isLike <http://d-nb.info/97604613X> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/254724957> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1104351558#Meeting/international_conference_on_logic_programming_and_nonmonotonic_reasoning_8_2005_09_diamante> # International Conference on Logic Programming and Nonmonotonic Reasoning (8 : 2005.09 : Diamante)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104351558#Place/diamante> ; # Diamante)
   schema:name "International Conference on Logic Programming and Nonmonotonic Reasoning (8 : 2005.09 : Diamante)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Person/greco_gianluigi> # Gianluigi Greco
    a schema:Person ;
   schema:familyName "Greco" ;
   schema:givenName "Gianluigi" ;
   schema:name "Gianluigi Greco" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Person/terracina_giorgio> # Giorgio Terracina
    a schema:Person ;
   schema:familyName "Terracina" ;
   schema:givenName "Giorgio" ;
   schema:name "Giorgio Terracina" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/254724957> ; # Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/254724957> ; # Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/datenbanksystem_swd_id_41132762> # Datenbanksystem ; SWD-ID: 41132762
    a schema:Intangible ;
   schema:name "Datenbanksystem ; SWD-ID: 41132762" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logic_programming_congresses> # Logic programming--Congresses
    a schema:Intangible ;
   schema:name "Logic programming--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/logische_programmierung_swd_id_41950963> # Logische Programmierung ; SWD-ID: 41950963
    a schema:Intangible ;
   schema:name "Logische Programmierung ; SWD-ID: 41950963" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nichtmonotones_schliessen> # Nichtmonotones Schließen
    a schema:Intangible ;
   schema:name "Nichtmonotones Schließen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nichtmonotones_schliessen_swd_id_42106990> # Nichtmonotones Schließen ; SWD-ID: 42106990
    a schema:Intangible ;
   schema:name "Nichtmonotones Schließen ; SWD-ID: 42106990" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/nonmonotonic_reasoning_congresses> # Nonmonotonic reasoning--Congresses
    a schema:Intangible ;
   schema:name "Nonmonotonic reasoning--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/wissensreprasentation> # Wissensrepräsentation
    a schema:Intangible ;
   schema:name "Wissensrepräsentation" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351558#Topic/wissensreprasentation_swd_id_40495346> # Wissensrepräsentation ; SWD-ID: 40495346
    a schema:Intangible ;
   schema:name "Wissensrepräsentation ; SWD-ID: 40495346" ;
    .

<http://id.loc.gov/authorities/subjects/sh96004467> # Nonmonotonic reasoning
    a schema:Intangible ;
   schema:name "Nonmonotonic reasoning" ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming" ;
    .

<http://id.worldcat.org/fast/1038846> # Nonmonotonic reasoning
    a schema:Intangible ;
   schema:name "Nonmonotonic reasoning" ;
    .

<http://viaf.org/viaf/11641841> # Nicola Leone
    a schema:Person ;
   schema:familyName "Leone" ;
   schema:givenName "Nicola" ;
   schema:name "Nicola Leone" ;
    .

<http://viaf.org/viaf/76552741> # Chitta Baral
    a schema:Person ;
   schema:familyName "Baral" ;
   schema:givenName "Chitta" ;
   schema:name "Chitta Baral" ;
    .

<http://worldcat.org/isbn/9783540285380>
    a schema:ProductModel ;
   schema:isbn "3540285385" ;
   schema:isbn "9783540285380" ;
    .

<http://www.worldcat.org/title/-/oclc/254724957>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/254724957> ; # Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 ; proceedings
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.