fundamentals of physical design & query compilation (47)
journal of automated reasoning (7)
encyclopedia of database systems (5)
ai 2015: advances in artificial intelligence (4)
acm transactions on database systems (3)
constraints (3)
ieee transactions on knowledge & data engineering (3)
information and computation (3)
journal of logical and algebraic methods in programming (3)
theoretical computer science (3)
ai 2013: advances in artificial intelligence (2)
automated reasoning (2)
data & knowledge engineering (2)
14th international symposium on temporal representation and reasoning (time'07), temporal representation and reasoning, 14th international symposium on (1)
2009 12th euromicro conference on digital system design, architectures, methods and tools, digital system design, architectures, methods and tools, 2009. dsd '09. 12th euromicro conference on (1)
advances in multimedia information processing - pcm 2015: 16th pacific-rim conference on multimedia gwangju, south korea, september 16-18, 2015, proceedings, part i (1)
ai 2016: advances in artificial intelligence (1)
automated deduction - cade-21 (1)
automated deduction---cade-21 (1)
automated reasoning with analytic tableaux and related methods (1)
conceptual modeling - er 2007 (1)
conceptual modeling: 35th international conference, er 2016, gifu, japan, november 14-17, 2016, proceedings (1)
constraints. an international journal (1)
constraints: an international journal (1)
database theory---icdt 2003 (1)
description logic, theory combination, and all that (1)
foundations of artificial intelligence (1)
handbook of temporal reasoning in artificial intelligence (1)
information & computation (1)
journal of logic programming (1)
journal of web semantics (1)
ki - kunstliche intelligenz: german journal of artificial intelligence - organ des fachbereichs "kunstliche intelligenz" der gesellschaft fur informatik e.v. (1)
ki: kunstliche intelligenz (1)
logic programming (9780262291248) (1)
logic programming (9783540746089) (1)
pricai 2014: trends in artificial intelligence (1)
pricai 2016: trends in artificial intelligence (1)
proceedings 27th international conference on software engineering, 2005 (icse 2005) (1)
proceedings of the 2003 acm sigmod international conference: management of data (1)
proceedings of the aaai conference on artificial intelligence (1)
proceedings of the fifteenth acm sigact-sigmod-sigart symposium: principles of database systems (1)
proceedings of the national academy of sciences of the united states of america (1)
semantic web - iswc 2013: part i (1)
temporal databases: research & practice (1)
web semantics: science, services & agents on the world wide web (1)