skip to content
Logics in artificial intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings. Preview this item
ClosePreview this item
Checking...

Logics in artificial intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings.

Author: Eduardo Fermé
Publisher: Cham [u.a.] : Springer, 2014.
Series: Lecture notes in computer science, 8761.
Edition/Format:   Computer file : Conference publication : English
Summary:

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Eduardo Fermé
ISBN: 331911557X 9783319115573 9783319115580 3319115588
OCLC Number: 891925546
Description: 1 online resource (XV, 704 S.).
Contents: Query Answering over Description Logic Ontologies.- Tools for the Investigation of Substructural and Paraconsistent Logics.- Non-classical Planning with a Classical Planner: The Power of Transformations.- Opportunities for Argument-Centric Persuasion in Behaviour Change.- The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics.- Tight Complexity Bounds for Reasoning in the Description Logic BEL.- Relevant Closure: A New Form of Defeasible Reasoning for Description Logics.- Error-Tolerant Reasoning in the Description Logic EL.- Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.- SAT Modulo Graphs: Acyclicity.- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.- Improving the Normalization of Weight Rules in Answer Set Programs.- Logical Foundations of Possibilistic Keys.- Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information.- LEG Networks for Ranking Functions.- Logics for Approximating Implication Problems of Saturated Conditional Independence.- Non-Classical Logics Finitary S5-Theories.- Efficient Program Transformers for Translating LCC to PDL.- On the Expressiveness of the Interval Logic of Allen's Relations over Finite and Discrete Linear Orders.- Only-Knowing a la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report.- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes.- Inductive Learning of Answer Set Programs.- Stable Models of Fuzzy Propositional Formulas.- A Free Logic for Stable Models with Partial Intensional Functions.- Constructive Models for Contraction with Intransitive Plausibility Indifference.- Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination.- Revisiting Postulates for Inconsistency Measures.- A Translation-Based Approach for Revision of Argumentation Frameworks.- Dealing with Inconsistency in ASP and DL Preserving Strong Equivalence while Forgetting.- Computing Repairs for Inconsistent DL-programs over EL Ontologies.- A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases.- Modular Paracoherent Answer Sets.- Action Theories over Generalized Databases with Equality Constraints.- A Dynamic View of Active Integrity Constraints.- Similarity Orders from Causal Equations.- Verification of Context-Sensitive Knowledge and Action Bases.- System Descriptions System aspmt2smt: Computing ASPMT Theories by SMT Solvers.- A Library of Anti-unification Algorithms.- The D-FLAT System for Dynamic Programming on Tree Decompositions.- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.- Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search.- Short Papers.- Probabilistic Abstract Dialectical Frameworks.- Argumentative Aggregation of Individual Opinions.- Measuring Dissimilarity between Judgment Sets.- Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario.- Reasoning about Dynamic Normative Systems.- A Modal Logic of Knowledge, Belief, and Estimation.- A Logic for Belief Contraction.- Logic Foundations of the OCL Modelling Language.- Constraint-Based Algorithm for Computing Temporal Invariants .- Answer Set Solver Backdoors.- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.- Revisiting Reductants in the Multi-adjoint Logic Programming Framework.
Series Title: Lecture notes in computer science, 8761.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/891925546> # Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings.
    a schema:CreativeWork, bgn:ComputerFile ;
   library:oclcnum "891925546" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2085490573#Place/cham_u_a> ; # Cham u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/answer_set_programming> ; # answer set programming
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/1635_hardcover_softcover_informatik_edv_anwendungs_software> ; # 1635: Hardcover, Softcover / Informatik, EDV/Anwendungs-Software
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/databases> ; # databases
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/argumentation> ; # argumentation
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/data_mining> ; # data mining
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/research> ; # Research
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/description_logics> ; # description logics
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/nonmonotonic_reasoning> ; # nonmonotonic reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/reasoning_about_actions_and_causality> ; # reasoning about actions and causality
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/fuzzy_logic_programming> ; # fuzzy logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/query_processing> ; # query processing
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/similarity_orders> ; # similarity orders
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/knowledge_representation_and_reasoning> ; # knowledge representation and reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/logics_for_uncertain_and_probabilistic_reasoning> ; # logics for uncertain and probabilistic reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/belief_revision> ; # belief revision
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/hypergraph> ; # hypergraph
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/fachpublikum_wissenschaft> ; # Fachpublikum/ Wissenschaft
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/logic_programming> ; # logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/paperback_softback> ; # Paperback / softback
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/non_classical_logics> ; # non-classical logics
   schema:about <http://dewey.info/class/004/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/automated_reasoning> ; # automated reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/2085490573#Thing/uya> ; # UYA
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2085490573#Person/ferme_eduardo_1964> ; # Eduardo Fermé
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2085490573#Meeting/jelia_14_2014_funchal> ; # JELIA (14. : 2014 : Funchal)
   schema:datePublished "2014" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2085490573> ;
   schema:genre "Kongress" ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2085490573#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings." ;
   schema:productID "891925546" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/891925546#PublicationEvent/cham_u_a_springer_2014> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2085490573#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.com/content/978-3-319-11558-0> ;
   schema:url <http://d-nb.info/1058400584/34> ;
   schema:url <http://swbplus.bsz-bw.de/bsz415351766cov.htm> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-11558-0> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-2014091709> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-11558-0> ;
   schema:workExample <http://worldcat.org/isbn/9783319115573> ;
   schema:workExample <http://worldcat.org/isbn/9783319115580> ;
   umbel:isLike <http://d-nb.info/1058400584> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/891925546> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2085490573#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/891925546> ; # Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings.
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/1635_hardcover_softcover_informatik_edv_anwendungs_software> # 1635: Hardcover, Softcover / Informatik, EDV/Anwendungs-Software
    a schema:Thing ;
   schema:name "1635: Hardcover, Softcover / Informatik, EDV/Anwendungs-Software" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/answer_set_programming> # answer set programming
    a schema:Thing ;
   schema:name "answer set programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/automated_reasoning> # automated reasoning
    a schema:Thing ;
   schema:name "automated reasoning" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/description_logics> # description logics
    a schema:Thing ;
   schema:name "description logics" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/fachpublikum_wissenschaft> # Fachpublikum/ Wissenschaft
    a schema:Thing ;
   schema:name "Fachpublikum/ Wissenschaft" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/fuzzy_logic_programming> # fuzzy logic programming
    a schema:Thing ;
   schema:name "fuzzy logic programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/knowledge_representation_and_reasoning> # knowledge representation and reasoning
    a schema:Thing ;
   schema:name "knowledge representation and reasoning" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/logic_programming> # logic programming
    a schema:Thing ;
   schema:name "logic programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/logics_for_uncertain_and_probabilistic_reasoning> # logics for uncertain and probabilistic reasoning
    a schema:Thing ;
   schema:name "logics for uncertain and probabilistic reasoning" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/non_classical_logics> # non-classical logics
    a schema:Thing ;
   schema:name "non-classical logics" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/nonmonotonic_reasoning> # nonmonotonic reasoning
    a schema:Thing ;
   schema:name "nonmonotonic reasoning" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/paperback_softback> # Paperback / softback
    a schema:Thing ;
   schema:name "Paperback / softback" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/reasoning_about_actions_and_causality> # reasoning about actions and causality
    a schema:Thing ;
   schema:name "reasoning about actions and causality" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Thing/similarity_orders> # similarity orders
    a schema:Thing ;
   schema:name "similarity orders" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz" ;
    .

<http://experiment.worldcat.org/entity/work/data/2085490573#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung" ;
    .

<http://worldcat.org/isbn/9783319115573>
    a schema:ProductModel ;
   schema:isbn "331911557X" ;
   schema:isbn "9783319115573" ;
    .

<http://worldcat.org/isbn/9783319115580>
    a schema:ProductModel ;
   schema:isbn "3319115588" ;
   schema:isbn "9783319115580" ;
    .

<http://www.worldcat.org/title/-/oclc/891925546>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/891925546> ; # Logics in artificial intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings.
   schema:dateModified "2017-10-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.