about
Updating action domain descriptions.Complexity and expressive power of logic programmingPropositional circumscription and extended closed-world reasoning are ΠP2-completeDomain expansion for ASP-programs with external sourcesFLP answer set semantics without circular justifications for general logic programsExploiting Unfounded Sets for HEX-Program EvaluationInconsistency Management for Traffic Regulations: Formalization and Complexity ResultsUniform Evaluation of Nonmonotonic DL-ProgramsDeclarative Belief Set Merging Using Merging PlansFirst-Order Encodings for Modular Nonmonotonic Datalog ProgramsPushing Efficient Evaluation of HEX Programs by Modular DecompositionSymmetry Breaking for Distributed Multi-Context SystemsDecomposition of Distributed Nonmonotonic Multi-Context SystemsThe DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsAnswer Set Programming: A PrimerCombining Nonmonotonic Knowledge Bases with External SourcesHybrid Reasoning with Rules and OntologiesModular Nonmonotonic Logic Programming RevisitedRealizing Default Logic over Description Logic Knowledge BasesRelevance-Driven Evaluation of Modular Nonmonotonic Logic ProgramsExploiting conjunctive queries in description logic programsEmbedding nonground logic programs into autoepistemic logic for knowledge-base combinationA logic programming approach to knowledge-state planningA logic programming approach to knowledge-state planning, II: The DLVK systemSystem Description: The DLVK Planning SystemForgetting for Defeasible LogicData Integration: a Challenging ASP ApplicationThe INFOMIX system for advanced integration of incomplete and inconsistent dataThe Model Checking Problem for Prefix Classes of Second-Order Logic: A SurveyComputational aspects of monotone dualization: A brief surveyQuery Answering in the Description Logic Horn- $\mathcal{SHIQ}$Reasoning under minimal upper bounds in propositional logicThe DLV system for knowledge representation and reasoningComplexity of propositional nested circumscription and nested abnormality theoriesNew Results on Monotone Dualization and Generating Hypergraph TransversalsOn ACTL Formulas Having Linear CounterexamplesEnhancing model checking in verification by AI techniquesGeneralized Quantifiers in Logic ProgramsExpressiveness of stable model semantics for disjunctive logic programs with functionsThe complexity class θp2: Recent results and applications in AI and modal logic
P50
Q38496874-8C6ABBE2-99D0-451E-B1A5-9771B7B322E8Q55951555-21FBC85A-B761-4550-893D-D20F72CF9D19Q56815066-5C01D02D-A812-47D7-BD3E-13188A56F302Q57549074-FE2DFB84-AB14-4257-A6C9-476BC2163847Q57549077-886C7E9D-F137-4BDF-80D1-C2157C677888Q57549088-3A4660DB-93D2-4137-B9E1-07E859C77AEBQ57549091-22A21D89-5957-4161-966F-AE7AB979A0BEQ57549095-F1F4263B-6EDE-4C74-860F-FE0B7B7E7D3CQ57549098-D53F9651-87C3-4D05-B38F-5F55F8D5642CQ57549100-EC208D81-D7CF-4CC8-8AC9-1638A769F5E7Q57549102-DC791C20-2A74-4BAD-A1F5-0AF82B45F8A8Q57549106-0DEBD4FB-008B-4C09-A5E2-D0400609FB56Q57549108-1637E8B1-CB6A-4CB0-92FD-1687437B162DQ57549111-EF96A8BC-EE88-464B-A79A-E84FD163A0F8Q57549118-9F1B5674-E6B4-49C9-A4F9-EDD1E15C7D58Q57549120-93C048AF-80C4-4D82-9239-1F40AC7747F8Q57549125-FDF53EF0-4A79-488E-9F84-C2318D3EB15EQ57549127-3326E204-F2B2-4911-8E9A-1C10BA3AAFBCQ57549130-3028DA93-8FFC-4BCD-B483-7AAAAA48F18DQ57549132-EA7E0711-2318-43EE-BD42-F9B12B6C81B3Q57549137-1660FB91-85A0-417A-9A30-72F38FFCBD90Q58049436-C0AEAB4F-EE83-4FA2-8715-FBB0C9A47B3AQ58049484-43DBCF66-418E-42ED-80D9-436AA38842FFQ58049487-2C9FC7DE-D4AF-4A54-9D10-C5B970E595F6Q58049491-D7ED4838-E7C2-4FB2-ABE9-EA04737AE1B0Q58198074-98F354C7-F654-472B-925C-2F085C2D1C79Q59216202-F9A4EAD3-F0AB-42FE-8C95-BF4F1E124BEAQ59216212-E851A217-2832-460D-AE7F-0905E44CDD34Q59259582-13DD18D7-CFA6-498F-B107-0F80BD002FEAQ59259620-D667CFF8-2C78-49CA-9EF1-C8EB0F6BE222Q59259630-42C858A2-1417-458E-8530-A516DFA3EB30Q59259664-B6ECC139-1F05-4260-A3DB-51BC6E9980BCQ59259670-8CC12D24-C433-40F6-8327-51CCC1970642Q59259673-AD977B0F-1FAA-497D-B4EE-493E995D675DQ59259700-CFA0299F-8D1D-49F0-A75C-1FCB3310695AQ59259726-20C3C0F1-6AA0-44D0-BBB2-2F0F8D8008E5Q59259734-21768E23-F04B-4C10-B4D9-AC10089C54A2Q59259738-5027207D-DDBD-48E2-9770-3DFF932E6EBEQ59259753-D3409288-632C-48FC-91FA-4F2DB32D919DQ59259757-E2743640-A154-40F5-BE8A-78B9550DAD15
P50
description
Austrian computer scientist
@en
name
Thomas Eiter
@ast
Thomas Eiter
@en
Thomas Eiter
@es
Thomas Eiter
@nl
Thomas Eiter
@sl
type
label
Thomas Eiter
@ast
Thomas Eiter
@en
Thomas Eiter
@es
Thomas Eiter
@nl
Thomas Eiter
@sl
prefLabel
Thomas Eiter
@ast
Thomas Eiter
@en
Thomas Eiter
@es
Thomas Eiter
@nl
Thomas Eiter
@sl
P108
P2456
P27
P31
P5463
Eiter_Thomas