Eiter,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Answer set programming at a glance

Brewka, Gerhard, Eiter, Thomas, Truszczyński, Mirosław

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 4.04 MB

english, 2011

2

Pruning external minimality checking for answer set programs using semantic dependencies

Eiter, Thomas, Kaminski, Tobias

Journal:

Artificial Intelligence

Year:

2021

File:

PDF, 34 KB

2021

3

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 ||

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 11.40 MB

english, 2017

4

Complexity results for explanations in the structural-model approach

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 595 KB

english, 2004

5

LARS: A Logic-based framework for Analytic Reasoning over Streams

Beck, Harald, Dao-Tran, Minh, Eiter, Thomas

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

6

Enhancing context knowledge repositories with justifiable exceptions

Bozzato, Loris, Eiter, Thomas, Serafini, Luciano

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.68 MB

english, 2018

7

Causes and explanations in the structural-model approach: Tractable cases

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 547 KB

english, 2006

8

Pre-flight qualification test procedure for nanosatellites using sounding rockets

Slongo, Leonardo Kessler, Reis, João Gabriel, Gaiki, Daniel, Von Hohendorff Seger, Pedro, Martínez, Sara Vega, Barbosa Eiterer, Bruno Vale, Pereira, Tulio Gomes, Neto, Mario Baldini, Frata, Matheus do

Journal:

Acta Astronautica

Year:

2019

Language:

english

File:

PDF, 9.67 MB

english, 2019

9

FLP answer set semantics without circular justifications for general logic programs

Shen, Yi-Dong, Wang, Kewen, Eiter, Thomas, Fink, Michael, Redl, Christoph, Krennwallner, Thomas, Deng, Jun

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 758 KB

english, 2014

10

Identifying the Minimal Transversals of a Hypergraph and Related Problems

Eiter, Thomas, Gottlob, Georg

Journal:

SIAM Journal on Computing

Year:

1995

Language:

english

File:

PDF, 3.70 MB

english, 1995

11

A Distributed Approach to LARS Stream Reasoning (System paper)

EITER, THOMAS, OGRIS, PAUL, SCHEKOTIHIN, KONSTANTIN

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 728 KB

english, 2019

12

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || Understanding Author Intentions: Test Driven Knowledge Graph Construction

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 1006 KB

english, 2017

13

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 854 KB

english, 2008

14

Moral judgment and the development of real and ideal androgynous self-image during adolescence and young adulthood.

Leahy, Robert L., Eiter, Marie

Journal:

Developmental Psychology

Year:

1980

Language:

english

File:

PDF, 782 KB

english, 1980

15

An efficient method for eliminating varying predicates from a circumscription

Marco Cadoli, Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 641 KB

english, 1992

16

Estimates of Time-Periodic Fundamental Solutions to the Linearized Navier–Stokes Equations

Eiter, Thomas, Kyed, Mads

Journal:

Journal of Mathematical Fluid Mechanics

Year:

2017

Language:

english

File:

PDF, 546 KB

english, 2017

17

Distance measures for point sets and their computation

Thomas Eiter, Heikki Mannila

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 307 KB

english, 1997

18

Semantics and complexity of abduction from default theories

Thomas Eiter, Georg Gottlob, Nicola Leone

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 3.38 MB

english, 1997

19

[IEEE 2006 International Conference on Image Processing - Atlanta Marriott Marquis, Atlanta, GA, USA (2006.10.8-2006.10.11)] 2006 International Conference on Image Processing - A Distance-Based Method for the Evaluation of Interest point Detection Algorithms

Reiterer, Alexander, Eiter, Thomas

Year:

2006

Language:

english

File:

PDF, 4.94 MB

english, 2006

20

Time Course of Linguistic Information Extraction From Consecutive Words During Eye Fixations in Reading.

Inhoff, Albrecht W., Eiter, Brianna M., Radach, Ralph

Journal:

Journal of Experimental Psychology: Human Perception and Performance

Year:

2005

Language:

english

File:

PDF, 888 KB

english, 2005

21

On properties of update sequences based on causal rejection

EITER, THOMAS, FINK, MICHAEL, SABBATINI, GIULIANA, TOMPITS, HANS

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 626 KB

english, 2002

22

Volatilization of ammonia in stabilized slow-release nitrogen fertilizer under controlled conditions

Ribeiro, Vinícius José, Andrade, Felipe Vaz, de Souza, Carlos Henrique Eiterer, Mendonça, Eduardo Sá

Journal:

Australian Journal of Crop Science

Year:

2016

Language:

english

File:

PDF, 337 KB

english, 2016

23

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

KAMINSKI, TOBIAS, EITER, THOMAS, INOUE, KATSUMI

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

24

Preferred answer sets for extended logic programs

Gerhard Brewka, Thomas Eiter

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 442 KB

english, 1999

25

A logic programming approach to knowledge-state planning

Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 326 KB

english, 2004

26

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || From Fuzzy to Annotated Semantic Web Languages

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 741 KB

english, 2017

27

Domain expansion for ASP-programs with external sources

Eiter, Thomas, Fink, Michael, Krennwallner, Thomas, Redl, Christoph

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

28

Energy-driven scheduling algorithm for nanosatellite energy harvesting maximization

Slongo, L.K., Martínez, S.V., Eiterer, B.V.B., Pereira, T.G., Bezerra, E.A., Paiva, K.V.

Journal:

Acta Astronautica

Year:

2018

Language:

english

File:

PDF, 2.08 MB

english, 2018

29

Computing intersections of Horn theories for reasoning with models

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 362 KB

english, 1999

30

Propositional circumscription and extended closed-world reasoning are ΠP2-complete: Theoretical computer science 114(2) (21 June 1993) 231–245

Thomas Eiter, Georg Gottlob

Journal:

Theoretical Computer Science

Year:

1993

File:

PDF, 34 KB

1993

31

Disjunctive datalog

Eiter, Thomas, Gottlob, Georg, Mannila, Heikki

Journal:

ACM Transactions on Database Systems

Year:

1997

Language:

english

File:

PDF, 631 KB

english, 1997

32

Nanosatellite electrical power system architectures: Models, simulations, and tests

Kessler Slongo, Leonardo, Vega MartÃnez, Sara, Vale Barbosa Eiterer, Bruno, Augusto Bezerra, Eduardo

Journal:

International Journal of Circuit Theory and Applications

Year:

2020

File:

PDF, 31.75 MB

2020

33

Preface

Thomas Eiter, Domenico Lembo

Journal:

Journal of Applied Logic

Year:

2005

Language:

english

File:

PDF, 41 KB

english, 2005

34

Default reasoning from conditional knowledge bases: Complexity and tractable cases

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 625 KB

english, 2000

35

Rhetoric and Reporting of Public Participation in Landscape Policy

Conrad, Elisabeth, F. Cassar, Louis, Jones, Michael, Eiter, Sebastian, Izaovičová, Zita, Barankova, Zuzana, Christie, Mike, Fazey, Ioan

Journal:

Journal of Environmental Policy and Planning

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

36

Evidence of plaggen soils in SW Norway

Schnepel, Carolin, Potthoff, Kerstin, Eiter, Sebastian, Giani, Luise

Journal:

Journal of Plant Nutrition and Soil Science

Year:

2014

Language:

english

File:

PDF, 354 KB

english, 2014

37

Updating action domain descriptions

Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

38

What is the quality of participatory renewable energy planning in Europe? A comparative analysis of innovative practices in 25 projects

Stober, Dina, SuÅ¡keviÄs, Monika, Eiter, Sebastian, MÃ¼ller, Stefanie, MartinÃ¡t, Stanislav, Buchecker, Matthias

Journal:

Energy Research & Social Science

Year:

2021

File:

PDF, 1.71 MB

2021

39

Finding explanations of inconsistency in multi-context systems

Eiter, Thomas, Fink, Michael, Schüller, Peter, Weinzierl, Antonius

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.36 MB

english, 2014

40

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.36 MB

english, 1992

41

The complexity of logic-based abduction

Eiter, Thomas, Gottlob, Georg

Journal:

Journal of the ACM

Year:

1995

Language:

english

File:

PDF, 2.88 MB

english, 1995

42

A logic programming approach to knowledge-state planning, II: The DLVK system

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 464 KB

english, 2003

43

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 759 KB

english, 2008

44

Data repair of inconsistent nonmonotonic description logic programs

Eiter, Thomas, Fink, Michael, Stepanova, Daria

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.23 MB

english, 2016

45

Semantic forgetting in answer set programming

Thomas Eiter, Kewen Wang

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 459 KB

english, 2008

46

Semi-equilibrium models for paracoherent answer set programs

Amendola, Giovanni, Eiter, Thomas, Fink, Michael, Leone, Nicola, Moura, João

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.41 MB

english, 2016

47

Evaluating epistemic negation in answer set programming

Shen, Yi-Dong, Eiter, Thomas

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 641 KB

english, 2016

48

Answer Set Programming: An Introduction to the Special Issue

Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw

Journal:

Year:

2016

File:

PDF, 421 KB

2016

49

Heterogeneous active agents, III: Polynomially implementable agents

Thomas Eiter, V.S. Subrahmanian, T.J. Rogers

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 1.13 MB

english, 2000

50

Undoing the effects of action sequences

Thomas Eiter, Esra Erdem, Wolfgang Faber

Journal:

Journal of Applied Logic

Year:

2008

Language:

english

File:

PDF, 461 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски