Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted pap...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook Book Conference Proceeding |
| Language | English |
| Published |
Cham
Springer Nature
2016
Springer Springer International Publishing AG Springer International Publishing |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783319487588 3319487582 3319487574 9783319487571 |
| ISSN | 0302-9743 1611-3349 |
| DOI | 10.1007/978-3-319-48758-8 |
Cover
| Abstract | This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results. |
|---|---|
| AbstractList | This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results. |
| Author | Michael, Loizos Kakas, Antonis |
| Author_xml | – sequence: 1 fullname: Michael, Loizos – sequence: 2 fullname: Kakas, Antonis |
| BackLink | https://cir.nii.ac.jp/crid/1130282272712628864$$DView record in CiNii |
| BookMark | eNqN0ctOGzEUBmC3haqB5gHYhapSxcLFx9fjZRrRghSJDerWchxPMAyeMB7g9etkuoEVG1s-_v4jX47IQe5yJOQE2E9gzJxbg1RQAZZKNAopfiDTWhO1si_gRzIBDUCFkPbTm70DMmGCcWqNFIfkiDPQVinFxGcysboukVv5hUxLuWOMgdEgGU7I6bLbpFBmKc_m_ZCaFJJvZ1d5iG2bNjGH-JUcNr4tcfp_PiZ_f1_cLC7p8vrP1WK-pJ5rywyVOqiwDjwobKQSGlfcrG1s6oEiRmmMgUav7NoGNMxzazRrhFABhNaAUYljcjY29uU-vpTbrh2Ke27jquvui3t12WrPR1u2fcqb2LtRAXO7p9xpJ1z1bh9wu8SPMbHtu8enWAa3bxxiHnrfuotfC80tKmHeIZWyzCpe5fdR5pRcSLsRoH4Ccm64Aa45opaVfRtZ8MW3lbmHLneb3m9vi1MSNBor_gGjl4uW |
| ContentType | eBook Book Conference Proceeding |
| Copyright | Springer International Publishing AG 2016 |
| Copyright_xml | – notice: Springer International Publishing AG 2016 |
| DBID | I4C RYH |
| DEWEY | 006.3 |
| DOI | 10.1007/978-3-319-48758-8 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISBN | 9783319487588 3319487582 |
| EISSN | 1611-3349 |
| Edition | 1 |
| Editor | Michael, Loizos Kakas, Antonis |
| Editor_xml | – sequence: 1 fullname: Kakas, Antonis – sequence: 2 fullname: Michael, Loizos |
| ExternalDocumentID | 9783319487588 421441 EBC6298537 EBC5590952 BB23283539 5416879 |
| GroupedDBID | 0D6 0DA 38. AABBV AAMCO AAPIT AAQZU ABBVZ ABMNI ABOWU ACLMJ ADCXD AEDXK AEJGN AEKFX AETDV AEZAY ALMA_UNASSIGNED_HOLDINGS AORVH AZZ BBABE CZZ I4C IEZ LDH NUC SAO SBO SWNTM TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 AEJLV RYH -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ACGFS AEFIE EJD F5P FEDTE HVGLF LAS P2P RIG RNI RSU SVGTG VI1 ~02 |
| ID | FETCH-LOGICAL-a26907-46c5cdc2c58f45368b27d9ef974e8e47771f6b9d9c870a29760f335c136618e53 |
| ISBN | 9783319487588 3319487582 3319487574 9783319487571 |
| ISSN | 0302-9743 |
| IngestDate | Tue Mar 04 07:17:08 EST 2025 Tue Jul 29 20:12:55 EDT 2025 Fri May 30 22:02:08 EDT 2025 Tue Apr 22 04:19:27 EDT 2025 Thu Jun 26 23:28:04 EDT 2025 Tue Nov 14 22:52:07 EST 2023 |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCN | 2016955503 |
| LCCallNum_Ident | Q |
| Language | English |
| LinkModel | OpenURL |
| MeetingName | European Conference on Logics in Artificial Intelligence |
| MergedId | FETCHMERGED-LOGICAL-a26907-46c5cdc2c58f45368b27d9ef974e8e47771f6b9d9c870a29760f335c136618e53 |
| Notes | Includes bibliographical references and index |
| OCLC | 962018294 |
| PQID | EBC5590952 |
| PageCount | 602 |
| ParticipantIDs | askewsholts_vlebooks_9783319487588 springer_books_10_1007_978_3_319_48758_8 proquest_ebookcentral_EBC6298537 proquest_ebookcentral_EBC5590952 nii_cinii_1130282272712628864 casalini_monographs_5416879 |
| PublicationCentury | 2000 |
| PublicationDate | 2016 c2016 2016-11-02 |
| PublicationDateYYYYMMDD | 2016-01-01 2016-11-02 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Netherlands – name: Cham |
| PublicationSeriesSubtitle | Lecture Notes in Artificial Intelligence |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationSeriesTitleAlternate | Lect.Notes Computer |
| PublicationYear | 2016 |
| Publisher | Springer Nature Springer Springer International Publishing AG Springer International Publishing |
| Publisher_xml | – name: Springer Nature – name: Springer – name: Springer International Publishing AG – name: Springer International Publishing |
| RelatedPersons | Kleinberg, Jon M. Mattern, Friedemann Naor, Moni Mitchell, John C. Terzopoulos, Demetri Steffen, Bernhard Pandu Rangan, C. Kanade, Takeo Kittler, Josef Weikum, Gerhard Hutchison, David Tygar, Doug |
| RelatedPersons_xml | – sequence: 1 givenname: David surname: Hutchison fullname: Hutchison, David organization: Lancaster University, Lancaster, United Kingdom – sequence: 2 givenname: Takeo surname: Kanade fullname: Kanade, Takeo organization: Carnegie Mellon University, Pittsburgh, USA – sequence: 3 givenname: Josef surname: Kittler fullname: Kittler, Josef organization: University of Surrey, Guildford, United Kingdom – sequence: 4 givenname: Jon M. surname: Kleinberg fullname: Kleinberg, Jon M. organization: Cornell University, Ithaca, USA – sequence: 5 givenname: Friedemann surname: Mattern fullname: Mattern, Friedemann organization: CNB H 104.2, ETH Zurich, Zürich, Switzerland – sequence: 6 givenname: John C. surname: Mitchell fullname: Mitchell, John C. organization: Stanford, USA – sequence: 7 givenname: Moni surname: Naor fullname: Naor, Moni organization: Weizmann Institute of Science, Rehovot, Israel – sequence: 8 givenname: C. surname: Pandu Rangan fullname: Pandu Rangan, C. organization: Madras, Indian Institute of Technology, Chennai, India – sequence: 9 givenname: Bernhard surname: Steffen fullname: Steffen, Bernhard organization: Fakultät Informatik, TU Dortmund, Dortmund, Germany – sequence: 10 givenname: Demetri surname: Terzopoulos fullname: Terzopoulos, Demetri organization: University of California, Los Angeles, USA – sequence: 11 givenname: Doug surname: Tygar fullname: Tygar, Doug organization: University of California, Berkeley, USA – sequence: 12 givenname: Gerhard surname: Weikum fullname: Weikum, Gerhard organization: Max Planck Institute for Informatics, Saarbrücken, Germany |
| SSID | ssj0001761408 ssj0002792 |
| Score | 2.3588712 |
| Snippet | This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November... |
| SourceID | askewsholts springer proquest nii casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Artificial Intelligence Artificial intelligence -- Congresses Computer Science Database Management Information Systems Applications (incl. Internet) Logic, Symbolic and mathematical Logic, Symbolic and mathematical -- Congresses Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special computer methods |
| Subtitle | 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings |
| TableOfContents | 2 Preliminaries -- 3 Basic LTUR and Saturation -- 3.1 Linear Time Unit Resolution -- 3.2 LTUR Saturation -- 3.3 Tracing Antecedents -- 4 Efficient Reasoning for Inconsistent Horn Formulae -- 4.1 MUS Extraction and Enumeration -- 4.2 MCS Extraction and Enumeration -- 4.3 Finding the Lean Kernel -- 4.4 MUS and MCS Membership -- 5 Experimental Results -- 6 Conclusions -- References -- Information Flow Under Budget Constraints -- 1 Introduction -- 1.1 Functional Dependency -- 1.2 Approximate Dependency -- 1.3 Budget-Constrained Dependency -- 1.4 Functional vs. Budget-Constrained Dependencies -- 1.5 Related Literature -- 1.6 Outline -- 2 Syntax and Semantics -- 3 Axioms -- 4 Examples of Proofs -- 5 Soundness -- 6 On the Completeness Theorem -- 7 Conclusion -- References -- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics -- 1 Introduction -- 2 Related Works -- 3 Syntax and Semantics -- 4 Probabilistic Inference Approaches -- 5 Implementation -- 6 Uncertainty Stream Reasoning with PrASP -- 7 Conclusion -- References -- Pakota: A System for Enforcement in Abstract Argumentation -- 1 Introduction -- 2 Enforcement in Abstract Argumentation -- 2.1 Argumentation Frameworks -- 2.2 Extension Enforcement -- 2.3 Status Enforcement -- 3 Maximum Satisfiability -- 4 Pakota -- 4.1 System Architecture -- 4.2 Features -- 4.3 Algorithms -- 4.4 Input Format -- 4.5 Usage and Options -- 4.6 Benchmarks and Generators -- 5 Performance Overview -- 6 Conclusions -- References -- Kinetic Consistency and Relevance in Belief Revision -- 1 Introduction -- 2 Preliminaries -- 3 The AGM Framework -- 4 Kinetic Consistency -- 5 Relevant Change -- 6 Parametrised Difference Operators -- 7 Examples -- 8 Conclusion -- References -- DRAT Proofs for XOR Reasoning -- 1 Introduction -- 2 Background Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Frontiers of Cognitive Computing -- To the Extent that You Are Like a Grape: Symbolic Models of Analogy and Concept Blending in Cognitive AI -- The FO(.) Knowledge Base System Project -- Hybrid Reasoning with Answer Set Programming -- We Reason in Uncertainty, But of What Kinds? -- Contents -- Full Papers -- Metabolic Pathways as Temporal Logic Programs -- 1 Introduction -- 2 A Simple Classical Example -- 3 Fundamental Operations -- 4 Molecular Equilibrium Logic -- 5 Temporal Equilibrium Logic -- 6 From Molecular Equilibrium Logic to Temporal Equilibrium Logic -- 7 MIM's as Splittable Temporal Logic Programs -- 8 Conclusion and Future Work -- References -- On Decidability of a Logic of Gossips -- 1 Introduction -- 1.1 Background and Motivation -- 1.2 Plan -- 2 Syntax -- 3 Semantics -- 3.1 Gossip Situations and Their Modifications -- 3.2 Call Sequences -- 3.3 Gossip Models and Truth -- 4 An Alternative Equivalence Relation -- 5 Decidability of Semantics -- 6 Decidability of Truth -- 7 Decidability of Termination -- 8 Conclusions -- References -- Hilbert-Style Axiomatization for Hybrid XPath with Data -- 1 XPath as a Modal Logic with Data Tests -- 2 Preliminaries -- 3 Axiomatic System -- 4 Completeness -- 5 Completeness for Tree Models -- 6 Final Remarks -- References -- Approximate Unification in the Description Logic FL0 -- 1 Introduction -- 2 Unification in FL0 -- 3 Approximate Unifiers and Solutions -- 4 Approximately Solving Language Equations -- 5 Conclusion -- References -- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis -- 1 Introduction -- 2 Preliminaries -- 3 A Unified Framework for Inconsistency-Tolerant Query Answering -- 4 Rationality Properties of Inconsistency-Tolerant Semantics References -- On the Expressiveness of Temporal Equilibrium Logic -- 1 Introduction -- 2 Preliminaries -- 2.1 Temporal Equilibrium Logic -- 2.2 Problems Investigated and Summary of the Main Results -- 3 Expressing LTL-conformant Planning in TEL -- 4 Maximal Fragments Expressible in LTL -- 5 TEL Fragments Non-subsumed by LTL -- 6 Conclusion -- References -- Introducing Role Defeasibility in Description Logics -- 1 Introduction -- 2 The Description Logic ALC -- 3 r-Ordered Interpretations -- 4 Role-Plausibility Constructs -- 4.1 Plausible Value Restriction -- 4.2 Plausible Number Restriction -- 4.3 Plausible Role Inclusion and Role Characteristics -- 4.4 Typicality of Roles -- 5 Embedding Plausible Concept Subsumption -- 6 Related and Future Work -- References -- Opposition Frameworks -- 1 Introduction -- 2 Argumentation Frameworks -- 3 Opposition Frameworks -- 3.1 Defining the New Framework -- 3.2 Conflict-Freeness -- 3.3 Extending Dung's Semantics -- 3.4 A DPLL Type Acceptance Algorithm -- 3.5 Logical Semantics -- 4 Discussion -- References -- Prompt Interval Temporal Logic -- 1 Introduction -- 2 The Logic PROMPT-PNL -- 3 Undecidability of PROMPT-RPNL -- 4 Decidability of PROMPT-d-PNL -- 4.1 Prompt Labeled Interval Structures -- 4.2 A Bounded Witness for Non-finitely Satisfiable Formulas -- 5 Conclusions -- References -- Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects -- 1 Introduction -- 2 Preliminaries -- 3 Hybrid Classification -- 4 Hybrid Classifier Construction -- 5 Evaluation -- 6 Related Work -- 7 Conclusion -- References -- Reasoning About Justified Belief Based on the Fusion of Evidence -- 1 Introduction -- 2 Preliminaries -- 2.1 Modal Logic -- 2.2 Justification Logic -- 3 On the Twofold Interpretation of Justification Formulas -- 4 Justification Logic with Informational Contents of Evidence 5 Justification Logic with Direct Observations -- 6 Dynamic Justification Logic -- 7 Related Work -- 8 Conclusion -- References -- Writing Declarative Specifications for Clauses -- 1 Introduction -- 2 Clause Programs -- 3 Modeling Methodology and Applications -- 4 Implementation -- 5 Discussion of Related Work and Conclusion -- References -- Standard Sequent Calculi for Lewis' Logics of Counterfactuals -- 1 Introduction -- 2 Preliminaries -- 3 A Sequent Calculus for Lewis' Logic and Extensions -- 4 The Invertible Calculus -- 5 Semantic Completeness -- 6 Completeness via Translation -- 7 Conclusions -- References -- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Influenced Arguments -- 5 Recomputing Unique Status Semantics -- 5.1 Grounded Semantics -- 5.2 Ideal Semantics -- 6 Experiments -- 7 Conclusion and Future Work -- References -- Revising Possibilistic Knowledge Bases via Compatibility Degrees -- 1 Introduction -- 2 Possibilistic Logic -- 3 Compatibility Degree -- 4 Revision Based on Compatibility Degrees -- 4.1 Definition of Possibilistic Revision -- 4.2 Revision by Certain Information -- 4.3 Revision by Uncertain Information -- 5 Revision Algorithm -- 6 Properties of the Proposed Possibilistic Revision -- 7 Relation to Other Possibilistic Revisions -- 8 Conclusion -- References -- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi -- 1 Introduction -- 2 Interpolation for Labelled Sequent Calculi -- 3 Interpolation Basis: Basic Normal Modal Logic K -- 4 Mathematical Rules with or without Equality Atoms -- 5 Geometric Rules -- 5.1 Telescopic Rules -- 5.2 Non-telescopic Geometric Rules -- 6 Related Work, Conclusion, and Future Work -- References -- Efficient Reasoning for Inconsistent Horn Formulae -- 1 Introduction 2.1 Propositional Logic and XOR Constraints 4.1 Properties of Unconditional Inference -- 4.2 Properties of Conditional Inferences -- 5 Complexity of Inconsistency-Tolerant Query Answering -- 6 Concluding Remarks -- References -- Temporal Here and There -- 1 Introduction -- 2 Syntax and Semantics -- 3 Interdefinability -- 4 Axiomatisation -- 5 Canonical Model Construction -- 5.1 Prime Sets -- 5.2 Canonical Model -- 6 Filtration -- 7 Determinisation -- 8 Conclusion -- References -- On Logics of Group Belief in Structured Coalitions -- 1 Introduction -- 2 Preliminaries -- 3 Logics of Group Belief -- 3.1 Syntax of GB1 -- 3.2 Semantics -- 3.3 Completeness -- 3.4 Fibered Structures -- 4 Syntax of GB2 -- 4.1 Syntax -- 4.2 Semantics -- 4.3 Completeness -- 5 The Logic of Fibered Structures -- 5.1 Semantics -- 5.2 Axiomatization/Completeness -- 6 Summary and Future Work -- References -- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems -- 1 Introduction -- 2 Preliminaries -- 3 Abstraction -- 4 Conclusions -- References -- A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks -- 1 Introduction -- 2 Background -- 2.1 Semirings -- 2.2 Argument Systems -- 3 Weighted Abstract AFs -- 3.1 Relaxing w-Defence -- 4 -Semantics -- 4.1 Properties of -Semantics -- 5 Implementation, Tests, and Applications -- 5.1 An Application Scenario -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Decidability and Expressivity of Ockhamist Propositional Dynamic Logics -- 1 Introduction -- 2 Ockhamist Propositional Dynamic Logics -- 2.1 Ockhamist Semantics -- 2.2 Path Semantics -- 3 Optimal Decision Procedure for OPDL -- 3.1 Syntactic Structures -- 3.2 The Optimal Decision Procedure -- 4 Optimal Decision Procedure for OPDLlc -- 4.1 Tree Model Property of OPDLlc -- 4.2 Automata-based Decision Procedure for OPDLlc -- 5 Conclusion |
| Title | Logics in Artificial Intelligence |
| URI | http://digital.casalini.it/9783319487588 https://cir.nii.ac.jp/crid/1130282272712628864 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5590952 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6298537 http://link.springer.com/10.1007/978-3-319-48758-8 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783319487588 |
| Volume | 10021 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Nb9QwELVgubAXoBSxlKKAOCChoE0cf-TAoVSLqqpUHErVm5U4jrQqSqVm6aG_njdxvMmuVgi4RFFkJROPPX7jmXlm7L3KKpdmqoxtJkWcSafjQvA85jXaAx_IvKPM_3YuT35kp1fiauD-66pLVuUne7-zruR_tIpn0CtVyf6DZtcvxQPcQ7-4QsO4boHfnesMnZNsu3zWo9su5ccTZwwcm95kEJVx-_msDxac36y6HKyP4TyHML3H_n-y7f-H_b-tHcRhE2vDYeSYceSi-GNPQuEUjCLcCm9nnLeDktgNuWcTXRtKAgQ7ze4404KqougTOtbDGrPO_MuIog3e6kOl5xP26GhxenY57IkpgIX5wPZO5IY-CuQFpNqc8AOe1HH0QyFk3bMGbwgyZdOivcaqgRVl1RIEKdqCKk-BKJrlcsO72AqIdzjj4inbHyowo-9rnT9jD1yzx54ElUW9yvbYdMQn-Zy99SMiWjbRMCKi8YjYZ5dfFxfHJ3F_BkZcpLRxgeljha1saoWuM8GlLlNV5a5GfzjtMqVUUssyr3ILy1ukQJfzmnNhEw7kpZ3gL9ikuWncSxbJilOUTdaSDg3IU12KKpFa4AvAgYWesXejXjJ3P7t4fWtG3azR6CB0nsF08rzqrREA9lrlM3aI_jR2SdeEguIAoIDISUrHWstsxqLQ06Z7e5-CbBZfjuHbAu-nf2oi0xzwUs3Yh6Ak40UM5NsQ1XADYU0nrdGv_r7pAXs8zK_XbLK6_eUOgThX5Zt-oP4G4i5u2A |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Logics+in+Artificial+Intelligence&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2016-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319487571&rft.issn=0302-9743&rft.eissn=1611-3349&rft.volume=10021&rft_id=info:doi/10.1007%2F978-3-319-48758-8&rft.externalDocID=421441 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97833194%2F9783319487588.jpg |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fmedia.springernature.com%2Fw306%2Fspringer-static%2Fcover-hires%2Fbook%2F978-3-319-48758-8 |