Alferes jose (27 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. 388 pp., softcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: Used. pp. 360.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 252 pages. 9.25x6.10x0.59 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 1st edition. 417 pages. 9.50x6.25x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 277 pages. 9.00x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the Portuguese Conference on Arti cial Intelligence (EPIA). This ninth conference follows previous ones held in Porto (1985), Lisboa (1986), Braga (1987), Lisboa (1989), Albufeira (1991), Porto (1993), Funchal (1995) and Coimbra (1997). Starting in 1989, the conferences have been held biennially (alternating with an APPIA Advanced School on Arti cial Intelligence) and become truly international: English has been adopted as the o cial language and the proceedings are published in Springer's LNAI series. The conference has recon rmed its high international standard this year, largely due to its programme committee, composed of distinguished researchers in a variety of specialities in Arti cial Intelligence, half of them from Portuguese universities. This has attracted a signi cant international interest, well expressed by the number of papers submitted (66), from 17 di erent countries, 29 of which are by Portuguese researchers. From the 66 papers submitted, about one third of them (23) were selected for oral presentation and have been published in this volume. The review process enabled the selection of high quality papers, each paper being reviewed by two or three reviewers, either from the programme committee or by their appointment. We would like to thank all of the reviewers for their excellent and hard work. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Session 1. Invited Talk.- The RuleML Family of Web Rule Languages.- Session 2. Reasoning I.- Automated Reasoning Support for First-Order Ontologies.- Combining Safe Rules and Ontologies by Interfacing of Reasoners.- Session 3. Applications.- Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.- Interaction Protocols and Capabilities: A Preliminary Report.- Semantic Web Reasoning for Analyzing Gene Expression Profiles.- Session 4. Querying.- Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.- AMa oS-Abstract Machine for Xcerpt: Architecture and Principles.- Towards More Precise Typing Rules for Xcerpt.- Session 5. Reasoning II.- Extending an OWL Web Node with Reactive Behavior.- Supporting Open and Closed World Reasoning on the Web.- Reasoning with Temporal Constraints in RDF.- Session 6. Reasoning III.- Bidirectional Mapping Between OWL DL and Attempto Controlled English.- XML Querying Using Ontological Information.- Semantic Web Reasoning Using a Blackboard System.- Systems Session.- Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt.- Web Queries with Style: Rendering Xcerpt Programs with CSSNG.- Information Gathering in a Dynamic World.- Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining.- Fuzzy Time Intervals System Description of the FuTI-Library.- A Prototype of a Descriptive Type System for Xcerpt. …

Kartoniert / Broschiert. Zustand: New. This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA 96, held in Evora, Portugal in September/October 1996.The 25 revised full papers included together with three invited papers were sel.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Practical Aspects of Declarative Languages | 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings | José Júlio Alferes (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2018 | Springer | EAN 9783030059972 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Neuware - This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.…

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions.RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standardsand technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.…

Taschenbuch. Zustand: Neu. Rule Technologies. Research, Tools, and Applications | 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings | Jose Julio Alferes (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2016 | Springer | EAN 9783319420189 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Representing and Reasoning with Preferences.- Engineering of Logics for the Content-Based Representation of Information.- Formal Methods in Robotics.- Multi-agent Systems.- Games for Cognitive Agents.- Knowledge-Theoretic Properties of Strategic Voting.- The CIFF Proof Procedure for Abductive Logic Programming with Constraints.- Hierarchical Decision Making by Autonomous Agents.- Verifying Communicating Agents by Model Checking in a Temporal Action Logic.- Qualitative Action Theory.- Practical Reasoning for Uncertain Agents.- Modelling Communicating Agents in Timed Reasoning Logics.- Logic Programming and Nonmonotonic Reasoning.- On the Relation Between ID-Logic and Answer Set Programming.- An Implementation of Statistical Default Logic.- Capturing Parallel Circumscription with Disjunctive Logic Programs.- Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.- Characterizations for Relativized Notions of Equivalence in Answer Set Programming.- Equivalence of Logic Programs Under Updates.- Cardinality Constraint Programs.- Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.- Reasoning Under Uncertainty.- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach.- A Logic with Conditional Probabilities.- Reasoning About Quantum Systems.- Sorted Multi-adjoint Logic Programs: Termination Results and Applications.- Logic Programming.- The Modal Logic Programming System MProlog.- Soundness and Completeness of an 'Efficient' Negation for Prolog.- Logic Programs with Functions and Default Values.- Actions and Causation.- Parallel Encodings of Classical Planning as Satisfiability.- Relational Markov Games.- On the Logic of 'Being Motivated to Achieve , Before '.- ComplexityIssues.- Representation and Complexity in Boolean Games.- Complexity in Value-Based Argument Systems.- A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.- Description Logics.- Transforming Fuzzy Description Logics into Classical Description Logics.- Computing the Least Common Subsumer w.r.t. a Background Terminology.- Explaining Subsumption by Optimal Interpolation.- Belief Revision.- Two Approaches to Merging Knowledge Bases.- An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.- Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach.- On Sceptical Versus Credulous Acceptance for Abstract Argument Systems.- Modal, Spacial, and Temporal Logics.- Line-Based Affine Reasoning in Euclidean Plane.- Measure Logics for Spatial Reasoning.- Only Knowing with Confidence Levels: Reductions and Complexity.- Time Granularities and Ultimately Periodic Automata.- Theorem Proving.- Polynomial Approximations of Full Propositional Logic via Limited Bivalence.- Some Techniques for Branch-Saturation in Free-Variable Tableaux.- Semantic Knowledge Partitioning.- Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.- Applications.- Discovering Anomalies in Evidential Knowledge by Logic Programming.- Logic Programming Infrastructure for Inferences on FrameNet.- An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS.- Automatic Compilation of Protocol Insecurity Problems into Logic Programming.- Exploiting Functional Dependencies in Declarative Problem Specifications.- Combining Decision Procedures for Sorted Theories.- Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.- Towards a Logical Analysis of Biochemical Pathways.- Systems Session.- Abductive Logic Programming with CIFF: System Description.- The DALI Logic Programming Agent-Oriented Language.- Qsmodels: ASP Planning in Interactive Gaming Environment.- A System with Template Answer Set Programs.- New DLV Features for Data Integration.- Profiling Answer Set Programming: The Visualization C. …

Paperback. Zustand: Brand New. 380 pages. 9.25x6.10x0.86 inches. In Stock.

Zustand: New.