about
Iterative Variable Elimination in ASPNoHR: Integrating XSB Prolog with the OWL 2 Profiles and BeyondWhen you must forget: Beyond strong persistence when forgetting in answer set programmingForgetting in ASP: The Forgotten PropertiesInconsistency Management in Reactive Multi-context SystemsMinimal Change in Evolving Multi-Context SystemsNext Step for NoHR: OWL 2 QLReasoning over Ontologies and Non-monotonic RulesDescription LogicsEvolving Bridge Rules in Evolving Multi-Context SystemsWhat if no hybrid reasoner is available? Hybrid MKNF in multi-context systemsA Query Tool for $\mathcal{EL}$ with Non-monotonic RulesForgetting under the Well-Founded SemanticsNon-monotonic Temporal GoalsQuery-Driven Procedures for Hybrid MKNF Knowledge BasesTime Is Up! – Norms with Deadlines in Action LanguagesMKNF Knowledge Bases in Multi-Context SystemsRecent Advances in Integrating OWL and Rules (Technical Communication)Local closed world reasoning with description logics under the well-founded semanticsQuerying OWL 2 QL and Non-monotonic RulesQueries to Hybrid MKNF Knowledge Bases through Oracular Tabling
P50
Q62046410-5E87E38A-B3E6-46E1-8034-00E612BA2D7CQ62046411-A8F197AE-7384-46F1-92D5-AA61FEE46675Q62046413-9088EA22-32B9-4A6E-84D1-7740E2768371Q62046415-EE95180C-6BDB-4396-BCA0-1C634A0B8FAAQ62046417-8FE5995F-8DEA-45BC-8900-5A6C8C84B102Q62046419-A3E6A8CD-EDE6-4699-BD5F-C06DA919A4C2Q62046421-BD7ACA07-E951-4E9C-B1DA-5CFA03A00FE7Q62046423-FC1C31F4-391E-476B-B195-7A06D7089B69Q62046425-894635F7-29D9-47BC-A098-4F368B26E150Q62046427-3E13D0E8-8963-46B8-B917-0BE4558F87B1Q62046430-C1A62E94-4984-443A-8774-C8B09A44C53BQ62046433-396BB912-23DD-4D49-A2F9-D7D30E215954Q62046434-9CB9B8A0-7441-402A-97C3-71B1E9214F8AQ62046436-8B99B3B5-61C5-451E-97B2-AE18DD5D6260Q62046438-68A68533-AD30-494C-AFD8-19BB7D015556Q62046440-3311B896-FB2C-45E6-8016-AAEDB9107694Q62046442-81857E51-0ACB-4F67-AC15-1605B77C1FF4Q62046444-FD4ED695-C750-49CC-B713-4B62767F8844Q62046447-0A909E4C-566D-4925-835A-E3985A3D4ECFQ62046448-3389D355-F425-447A-8202-713F3AD18040Q62046451-2005D3F4-5609-43A5-8CED-29929666232D
P50
description
researcher
@en
wetenschapper
@nl
հետազոտող
@hy
name
Matthias Knorr
@ast
Matthias Knorr
@en
Matthias Knorr
@es
Matthias Knorr
@nl
type
label
Matthias Knorr
@ast
Matthias Knorr
@en
Matthias Knorr
@es
Matthias Knorr
@nl
prefLabel
Matthias Knorr
@ast
Matthias Knorr
@en
Matthias Knorr
@es
Matthias Knorr
@nl
P106
P1153
36447632600
P21
P2456
P31
P496
0000-0003-1826-1498