X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004 ; proceedings (2004)
    Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a. :Springer,
    Details
    UID:
    almahu_BV017688470
    Format: IX, 364 S. : graph. Darst. : 24 cm.
    ISBN: 3-540-20721-X
    Series Statement: Lecture notes in computer science 2923 : Lecture notes in artificial intelligence
    Note: Literaturangaben
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Datenbanksystem ; Logische Programmierung ; Wissensrepräsentation ; Nichtmonotones Schließen ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Inhaltsverzeichnis
    URL: Cover
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0818/2003067369-d.html
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    FU Berlin get availability status
    UB Potsdam get availability status
  • 2
    Online Resource
    Online Resource
    Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920441302882
    Format: X, 370 p. , online resource.
    ISBN: 9783540246091
    Series Statement: Lecture Notes in Computer Science, 2923
    Note: Invited Papers -- Constraints and Probabilistic Networks: A Look At The Interface -- Toward A Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach -- Probabilistic Reasoning With Answer Sets -- Answer Sets: From Constraint Programming Towards Qualitative Optimization -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties -- Reasoning About Actions and Change in Answer Set Programming -- Almost Definite Causal Theories -- Simplifying Logic Programs Under Uniform and Strong Equivalence -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Graphs and Colorings for Answer Set Programming: Abridged Report -- Nondefinite vs. Definite Causal Theories -- Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying the Equivalence of Logic Programs in the Disjunctive Case -- Uniform Equivalence for Equilibrium Logic and Logic Programs -- Partial Stable Models for Logic Programs with Aggregates -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs -- Using Criticalities as a Heuristic for Answer Set Programming -- Planning with Preferences Using Logic Programming -- Planning with Sensing Actions and Incomplete Information Using Logic Programming -- Deduction in Ontologies via ASP -- Strong Equivalence for Causal Theories -- Answer Set Programming with Clause Learning -- Properties of Iterated Multiple Belief Revision -- System Descriptions -- System Description: DLV with Aggregates -- GNT — A Solver for Disjunctive Logic Programs -- LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs -- DLV DB : Bridging the Gap between ASP Systems and DBMSs -- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs -- WSAT(CC) — A Fast Local-Search ASP Solver -- Smodels with CLP—A Treatment of Aggregates in ASP -- nlp: A Compiler for Nested Logic Programming.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540207214
    Language: English
    DOI: 10.1007/b94792
    URL: http://dx.doi.org/10.1007/b94792
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings (2004)
    Berlin : Springer
    Details
    UID:
    gbv_749175877
    Format: Online-Ressource (IX, 365 p. Also available online) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540246091 , 354020721X , 9783540207214
    Series Statement: Lecture Notes in Computer Science 2923
    Content: This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning
    Note: Literaturangaben
    Additional Edition: ISBN 9783540207214
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662171288
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540207214
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Nichtmonotones Schließen ; Deklarative Programmierung ; Nichtmonotone Logik ; Konferenzschrift
    DOI: 10.1007/b94792
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings (2004)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621551902882
    Format: X, 370 p. , online resource.
    Edition: 1st ed. 2004.
    ISBN: 9783540246091
    Series Statement: Lecture Notes in Artificial Intelligence ; 2923
    Note: Invited Papers -- Constraints and Probabilistic Networks: A Look At The Interface -- Toward A Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach -- Probabilistic Reasoning With Answer Sets -- Answer Sets: From Constraint Programming Towards Qualitative Optimization -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties -- Reasoning About Actions and Change in Answer Set Programming -- Almost Definite Causal Theories -- Simplifying Logic Programs Under Uniform and Strong Equivalence -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Graphs and Colorings for Answer Set Programming: Abridged Report -- Nondefinite vs. Definite Causal Theories -- Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying the Equivalence of Logic Programs in the Disjunctive Case -- Uniform Equivalence for Equilibrium Logic and Logic Programs -- Partial Stable Models for Logic Programs with Aggregates -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs -- Using Criticalities as a Heuristic for Answer Set Programming -- Planning with Preferences Using Logic Programming -- Planning with Sensing Actions and Incomplete Information Using Logic Programming -- Deduction in Ontologies via ASP -- Strong Equivalence for Causal Theories -- Answer Set Programming with Clause Learning -- Properties of Iterated Multiple Belief Revision -- System Descriptions -- System Description: DLV with Aggregates -- GNT - A Solver for Disjunctive Logic Programs -- LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs -- DLV DB : Bridging the Gap between ASP Systems and DBMSs -- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs -- WSAT(CC) - A Fast Local-Search ASP Solver -- Smodels with CLP-A Treatment of Aggregates in ASP -- nlp: A Compiler for Nested Logic Programming.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662171288
    Additional Edition: Printed edition: ISBN 9783540207214
    Language: English
    DOI: 10.1007/b94792
    URL: https://doi.org/10.1007/b94792
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Book
    Book
    Logic programming and nonmonotonic reasoning : 7th international conference ; proceedings (2004)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13593633
    Format: IX, 364 Seiten , graph. Darst. , 24 cm
    ISBN: 354020721X
    Series Statement: Lecture notes in computer science
    Note: Literaturangaben , Text engl
    Language: English
    Keywords: Datenbanksystem ; Logische Programmierung ; Kongress ; Fort Lauderdale 〈Fla., 2004〉 ; Wissensrepräsentation ; Nichtmonotones Schließen ; Kongress ; Fort Lauderdale 〈Fla., 2004〉 ; Kongress ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540009214?
Did you mean 9783540108214?
Did you mean 9783540020721?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages