about
Domain expansion for ASP-programs with external sourcesFLP answer set semantics without circular justifications for general logic programsThe Fourth Answer Set Programming Competition: Preliminary ReportVCWC: A Versioning Competition Workflow CompilerConflict-driven ASP solving with external sourcesExploiting 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 SystemsA Rule System for Querying Persistent RDFS DataAnswer Set Programming: A PrimerCombining Nonmonotonic Knowledge Bases with External SourcesDynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment RegimesHybrid 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 programsXSPARQL: Traveling between the XML and RDF Worlds – and Avoiding the XSLT Pilgrimage
P50
Q57549074-4FF4EA4C-71B3-454F-A37E-584815218BD7Q57549077-1CA78763-0794-42CE-9FD8-DAF8DF37D52DQ57549082-99254D66-092B-4A10-949C-4707B6A78B4DQ57549084-AD26FE88-B840-4718-ACD5-72A0982F8793Q57549085-DB9181F7-1292-4984-9127-EC72D7427FBFQ57549088-8B510698-D872-4F14-98A4-703B32312AF5Q57549091-DF0192CC-68C7-4C65-9608-ED5F7E433DF4Q57549095-22E85C31-8D74-424E-B783-D0E3CE7C6355Q57549098-30AFDD5C-C836-49D7-BC30-68C207ED7BF8Q57549100-DDD49D03-B66E-4A2A-B2E2-3BBF5CF33207Q57549102-AA208440-F515-41E9-8622-A5CC507376ADQ57549106-5893446B-4B1A-4EC0-9CA9-3716871EB97AQ57549108-A835F5FD-8F3F-454F-B41B-85A6CA77099CQ57549111-CA351C98-203C-4208-ADAC-1C2211B68553Q57549114-47A598F6-907C-4DA9-BBEB-CA97044D0B80Q57549118-9D075358-E408-4FB6-8E87-11B69DCF0735Q57549120-CE80991F-F041-44D0-B94A-7BCD7C017002Q57549122-6754C54B-BC8D-4490-8D1E-0C0045D04D58Q57549125-7F0D841D-82D6-4AFB-93BF-E23D5FF69E93Q57549127-3247D50D-9BD0-4829-A636-5B92A3085926Q57549130-513EF3B0-7809-4173-8791-9A43E155D8B4Q57549132-F3B98031-202F-41D1-8BAB-32CDF065601FQ57549137-05F12B1D-14D7-44A3-A69C-6A29A91B60E8Q57549140-7F2B4420-35D5-4904-8301-445295C41128
P50
description
researcher ORCID id 0000-0001-7523-3202
@en
wetenschapper
@nl
name
Thomas Krennwallner
@ast
Thomas Krennwallner
@en
Thomas Krennwallner
@es
Thomas Krennwallner
@nl
type
label
Thomas Krennwallner
@ast
Thomas Krennwallner
@en
Thomas Krennwallner
@es
Thomas Krennwallner
@nl
prefLabel
Thomas Krennwallner
@ast
Thomas Krennwallner
@en
Thomas Krennwallner
@es
Thomas Krennwallner
@nl
P106
P1153
24385618600
P1960
ngGW0rMAAAAJ
P2456
P31
P496
0000-0001-7523-3202