|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
978-3-540-74610-2 |
| 003 |
DE-He213 |
| 005 |
20220311185748.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2007 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783540746102
|9 978-3-540-74610-2
|
| 024 |
7 |
|
|a 10.1007/978-3-540-74610-2
|2 doi
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 072 |
|
7 |
|a UMZ
|2 thema
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Logic Programming
|h [electronic resource] :
|b 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /
|c edited by Verónica Dahl, Ilkka Niemelä.
|
| 250 |
|
|
|a 1st ed. 2007.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2007.
|
| 300 |
|
|
|a XII, 472 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 4670
|
| 505 |
0 |
|
|a Invited Talks -- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs -- Preferences, Contexts and Answer Sets -- Invited Tutorials -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications -- Multi-paradigm Declarative Languages -- Logic Programming for Knowledge Representation -- Regular Talks -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming -- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs -- Querying and Repairing Inconsistent Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based Geographic Information System -- The Correspondence Between the Logical Algorithms Language and CHR -- Observable Confluence for Constraint Handling Rules -- Graph Transformation Systems in CHR -- Multivalued Action Languages with Constraints in CLP(FD) -- Declarative Diagnosis of Temporal Concurrent Constraint Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented Deadlock Analysis -- Static Region Analysis for Mercury -- Automatic Binding-Related Error Diagnosis in Logic Programs -- User-Definable Resource Bounds Analysis for Logic Programs -- Automatic Correctness Proofs for Logic Program Transformations -- Core TuLiP Logic Programming for Trust Management -- Demand-Driven Indexing of Prolog Clauses -- Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System -- Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View Updating Through Active Integrity Constraints -- Prosper: A Framework for Extending Prolog Applications with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity -- A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming -- Representation and Execution of a Graph Grammar in Prolog -- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog -- Aggregates in Constraint Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language in the Animation of Z Specifications -- A Stronger Notion of Equivalence for Logic Programs -- A Register-Free Abstract Prolog Machine with Jumbo Instructions -- Advanced Techniques for Answer Set Programming -- A Games Semantics of ASP -- Modular Answer Set Programming -- Universal Timed Concurrent Constraint Programming -- Extension and Implementation of CHR.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Compilers (Computer programs).
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Machine theory.
|
| 650 |
1 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|
| 650 |
2 |
4 |
|a Compilers and Interpreters.
|
| 650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
| 650 |
2 |
4 |
|a Formal Languages and Automata Theory.
|
| 700 |
1 |
|
|a Dahl, Verónica.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Niemelä, Ilkka.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer Nature eBook
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540843177
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540746089
|
| 830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 4670
|
| 856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-540-74610-2
|z Texto Completo
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-SXCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (SpringerNature-11645)
|
| 950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|
