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
    UID:
    almafu_9959186482102883
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 9783540587927
    Series Statement: Lecture Notes in Computer Science 883
    In: Springer eBooks
    Additional Edition: ISBN 9783540491040
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_369574966
    Format: XIV, 552 S. , Ill., graph. Darst.
    ISBN: 354020119X
    Series Statement: Lecture notes in computer science 2829
    Language: German
    Subjects: Computer Science
    RVK:
    Keywords: Künstliche Intelligenz ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_749172177
    Format: Online-Ressource (XIV, 552 p. Also available online) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540398530
    Series Statement: Lecture Notes in Computer Science 2829
    Content: This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields
    Additional Edition: ISBN 9783540201199
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662166291
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540201199
    Language: English
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947920883002882
    Format: X, 458 p. , online resource.
    ISBN: 9783540491040
    Series Statement: Lecture Notes in Computer Science, 883
    Content: This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
    Note: Logic frameworks for logic programs -- An extended transformation system for CLP programs -- Using call/exit analysis for logic program transformation -- A transformation system for definite programs based on termination analysis -- On the use of inductive reasoning in program synthesis: Prejudice and prospects -- Transforming specifications of observable behaviour into programs -- On specification frameworks and deductive synthesis of logic programs -- Partial evaluation of the “real thing” -- Schema-based top-down design of logic programs using abstract data types -- Generalizing extended execution for normal programs -- Partial deduction of disjunctive logic programs: A declarative approach -- Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL -- Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems -- Logic programming and logic grammars with first-order continuations -- Improving the Whelk system: A type-theoretic reconstruction -- A model of costs and benefits of meta-level computation -- A basis for a multilevel metalogic programming language -- Logic programs with tests -- An architecture with multiple meta-levels for the development of correct programs -- More on unfold/fold transformations of normal programs: Preservation of fitting's semantics -- Formal semantics of temporal epistemic reflection -- Temporal semantics of meta-level architectures for dynamic control of reasoning -- Gödel as a meta-language for composing logic programs -- A module system for meta-programming -- Building proofs in context -- Introspective metatheoretic reasoning -- Abstract debugging of logic programs.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540587927
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9948621259502882
    Format: XIV, 558 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540398530
    Series Statement: Lecture Notes in Artificial Intelligence ; 2829
    Content: This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields.
    Note: Knowledge Representation and Reasoning -- A Complete Subsumption Algorithm -- Temporal Decision Trees for Diagnosis: An Extension -- Obligations as Social Constructs -- Automatically Decomposing Configuration Problems -- Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning -- A Methodology for the Induction of Ontological Knowledge from Semantic Annotations -- Qualitative Spatial Reasoning in a Logical Framework -- On Managing Temporal Information for Handling Durative Actions in LPG -- An Abductive Proof Procedure Handling Active Rules -- Soft Computing -- BackPropagation through Cyclic Structures -- A Neural Architecture for Segmentation and Modelling of Range Data -- A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction -- Adaptive Allocation of Data-Objects in the Web Using Neural Networks -- Machine Learning -- Improving the SLA Algorithm Using Association Rules -- Incremental Induction of Rules for Document Image Understanding -- Explaining Bagging with Monte Carlo Theory -- Pairwise Data Clustering Using Monotone Game Dynamics -- Abduction in Classification Tasks -- Data Mining -- MQL: An Algebraic Query Language for Knowledge Discovery -- Preprocessing and Mining Web Log Data for Web Personalization -- Multi-relational Structural Bayesian Classifier -- Intelligent Agents -- Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic -- Combining Intelligent Agents and Animation -- An Abductive Interpretation for Open Agent Societies -- Reasoning about Conversation Protocols in a Logic-Based Agent Language -- Distributed Intelligent Management of Active Networks -- Planning -- Planning under Uncertainty in Linear Time Logic -- Planning with Fuzzy Resources -- Planning by Abstraction Using HW[] -- The Role of Different Solvers in Planning and Scheduling Integration -- Robotics -- Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors -- An Early Cognitive Approach to Visual Motion Analysis -- Content Based Image Retrieval for Unsegmented Images -- A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture -- Image-Based Monte-Carlo Localisation without a Map -- Natural Language Processing -- Making Explicit the Hidden Semantics of Hierarchical Classifications -- Sub-symbolic Encoding of Words -- A Relation-Based Schema for Treebank Annotation -- Applications -- Personalized Recommendation of TV Programs -- A Simulation-Based Decision Support System for Forest Fire Fighting -- Knowledge Maintenance and Sharing in the KM Context: The Case of P-Truck -- A CSP-Based Interactive Decision Aid for Space Mission Planning -- E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation -- Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach -- Invited Speakers -- Two Paradigms for Natural-Language Processing -- Robotics and AI: From Intelligent Robots to Neuro-robotics.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662166291
    Additional Edition: Printed edition: ISBN 9783540201199
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9948621221302882
    Format: X, 458 p. , online resource.
    Edition: 1st ed. 1994.
    ISBN: 9783540491040
    Series Statement: Lecture Notes in Computer Science, 883
    Content: This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
    Note: Logic frameworks for logic programs -- An extended transformation system for CLP programs -- Using call/exit analysis for logic program transformation -- A transformation system for definite programs based on termination analysis -- On the use of inductive reasoning in program synthesis: Prejudice and prospects -- Transforming specifications of observable behaviour into programs -- On specification frameworks and deductive synthesis of logic programs -- Partial evaluation of the "real thing" -- Schema-based top-down design of logic programs using abstract data types -- Generalizing extended execution for normal programs -- Partial deduction of disjunctive logic programs: A declarative approach -- Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL -- Propagation of inter-argument dependencies in "Tuple-distributive" type inference systems -- Logic programming and logic grammars with first-order continuations -- Improving the Whelk system: A type-theoretic reconstruction -- A model of costs and benefits of meta-level computation -- A basis for a multilevel metalogic programming language -- Logic programs with tests -- An architecture with multiple meta-levels for the development of correct programs -- More on unfold/fold transformations of normal programs: Preservation of fitting's semantics -- Formal semantics of temporal epistemic reflection -- Temporal semantics of meta-level architectures for dynamic control of reasoning -- Gödel as a meta-language for composing logic programs -- A module system for meta-programming -- Building proofs in context -- Introspective metatheoretic reasoning -- Abstract debugging of logic programs.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662203002
    Additional Edition: Printed edition: ISBN 9783540587927
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9947920568602882
    Format: XIV, 558 p. , online resource.
    ISBN: 9783540398530
    Series Statement: Lecture Notes in Computer Science, 2829
    Content: This book constitutes the refereed proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on knowledge representation and reasoning, soft computing, machine learning, data mining, intelligent agents, planning, robotics, natural language processing, and applications in various fields.
    Note: Knowledge Representation and Reasoning -- A Complete Subsumption Algorithm -- Temporal Decision Trees for Diagnosis: An Extension -- Obligations as Social Constructs -- Automatically Decomposing Configuration Problems -- Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning -- A Methodology for the Induction of Ontological Knowledge from Semantic Annotations -- Qualitative Spatial Reasoning in a Logical Framework -- On Managing Temporal Information for Handling Durative Actions in LPG -- An Abductive Proof Procedure Handling Active Rules -- Soft Computing -- BackPropagation through Cyclic Structures -- A Neural Architecture for Segmentation and Modelling of Range Data -- A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction -- Adaptive Allocation of Data-Objects in the Web Using Neural Networks -- Machine Learning -- Improving the SLA Algorithm Using Association Rules -- Incremental Induction of Rules for Document Image Understanding -- Explaining Bagging with Monte Carlo Theory -- Pairwise Data Clustering Using Monotone Game Dynamics -- Abduction in Classification Tasks -- Data Mining -- MQL: An Algebraic Query Language for Knowledge Discovery -- Preprocessing and Mining Web Log Data for Web Personalization -- Multi-relational Structural Bayesian Classifier -- Intelligent Agents -- Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic -- Combining Intelligent Agents and Animation -- An Abductive Interpretation for Open Agent Societies -- Reasoning about Conversation Protocols in a Logic-Based Agent Language -- Distributed Intelligent Management of Active Networks -- Planning -- Planning under Uncertainty in Linear Time Logic -- Planning with Fuzzy Resources -- Planning by Abstraction Using HW[] -- The Role of Different Solvers in Planning and Scheduling Integration -- Robotics -- Evolving the Neural Controller for a Robotic Arm Able to Grasp Objects on the Basis of Tactile Sensors -- An Early Cognitive Approach to Visual Motion Analysis -- Content Based Image Retrieval for Unsegmented Images -- A Mechanism of Coalition Formation in the Metaphor of Politics Multiagent Architecture -- Image-Based Monte-Carlo Localisation without a Map -- Natural Language Processing -- Making Explicit the Hidden Semantics of Hierarchical Classifications -- Sub-symbolic Encoding of Words -- A Relation-Based Schema for Treebank Annotation -- Applications -- Personalized Recommendation of TV Programs -- A Simulation-Based Decision Support System for Forest Fire Fighting -- Knowledge Maintenance and Sharing in the KM Context: The Case of P–Truck -- A CSP-Based Interactive Decision Aid for Space Mission Planning -- E-mail Categorization, Filtering, and Alerting on Mobile Devices: The ifMail Prototype and its Experimental Evaluation -- Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach -- Invited Speakers -- Two Paradigms for Natural-Language Processing -- Robotics and AI: From Intelligent Robots to Neuro-robotics.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540201199
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    edoccha_9959186482102883
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 9783540587927
    Series Statement: Lecture Notes in Computer Science 883
    In: Springer eBooks
    Additional Edition: ISBN 9783540491040
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    edocfu_9959186482102883
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 9783540587927
    Series Statement: Lecture Notes in Computer Science 883
    In: Springer eBooks
    Additional Edition: ISBN 9783540491040
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1649312237
    Format: Online-Ressource
    ISBN: 9783540491040
    Series Statement: Lecture Notes in Computer Science 883
    Additional Edition: ISBN 9783540587927
    Additional Edition: Buchausg. u.d.T. International Workshop on Logic Program Synthesis and Transformation ((4th :1994 :Pisa, Italy)) Logic program synthesis and transformation, meta-programming in logic Berlin : Springer, 1994 ISBN 0387587926
    Additional Edition: ISBN 3540587926
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Logische Programmierung ; Metaprogrammierung ; Konferenzschrift
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages