Titlebook: KI 2014: Advances in Artificial Intelligence; 37th Annual German C Carsten Lutz,Michael Thielscher Conference proceedings 2014 Springer Int

FUSC

CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing compute decision heuristic. In contrast to CDCL solvers, SAT solvers that are based on look-ahead procedures spend more time for decisions and with their local reasoning. This paper proposes three light-weight additions to the CDCL algorithm, ., . and . which allow the search to find unit clauses t

Working-Memory

切碎

Highbrow

Matching with Respect to General Concept Inclusions in the Description Logic $mathcal{EL}$ed by applications in the Classic system. For the DL ., it was shown in 2000 that matching without a TBox is NP-complete. In this paper we show that matching in . w.r.t. general TBoxes (i.e., finite sets of general concept inclusions, GCIs) is in NP by introducing a goal-oriented matching algorithm

突变

Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theoryhis is because of its broad application potential in different areas such as economics, e-commerce, the political and social sciences. The complexity of practical automated negotiation – a multi-issue, incomplete-information and continuous-time environment – poses severe challenges, and in recent ye

摘要记录

sclera

Reasoning in ${mathcal{ALC}}$ with Fuzzy Concrete Domainsm. For reasoning in the DL . with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete domains decidability can be regained. Typically, the concrete domain predicates are crisp, which is a limitation for some applications. In this paper we investigate

热情的我

A Stream-Temporal Query Language for Ontology Based Data Accessy, i.e., compilability of the TBox into ontology-level queries, and unfoldability, i.e., transformability of ontology-level queries to queries on datasource level, for the new query-language framework STARQL. The distinguishing feature of STARQL is its general stream windowing and ABox sequencing st

thwart

Indict

eine ,moralische Panik’ um ., d.h. eine im Verhältnis zur Realität übersteigerte Wahrnehmung von Straßenraub diagnostiziert und diese in ein Verhältnis zur Krise des britischen (Wohlfahrts-)Staates gesetzt: „race, Verbrechen und Jugendliche – verdichtet im Bild des ‚Straßenraubs‘ – treten zunehmend