CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
4 research outputs found
Handling Impossible Derivations During Stream Reasoning
Author
A Bolles
A Margara
+23 more
A Mileo
B Motik
D Dell’Aglio
D Le-Phuoc
D Le-Phuoc
DF Barbieri
E Della Valle
ED Valle
H Beck
H Beck
HR Bazoobandi
J Urbani
J-P Calbimonte
M Nickles
Patrick Koopmann
Przemysław Andrzej Wałęga
R Tommasini
R Tommasini
T Eiter
T Scharrenbach
T-L Pham
Y Wang
Y Zhang
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2020
Field of study
Get PDF
VU Research Portal
Crossref
Hybrid fragments of Halpern–Shoham logic and their expressive power
Author
Aceto
Aceto
+22 more
Allen
Areces
Artale
Blackburn
Brandt
Bresolin
Bresolin
Bresolin
Bresolin
Bresolin
Bresolin
Bresolin
Della Monica
Fisher
Goranko
Goranko
Halpern
Kontchakov
Montanari
Przemysław Andrzej Wałęga
Venema
Wałęga
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref
Non-monotonic spatial reasoning with answer set programming modulo theories
Author
Bartholomew
Bhatt
+30 more
Bhatt
Bhatt
Bhatt
Bhatt
CARL SCHULTZ
Cohn
Eppe
Frank
Gantner
Gelfond
Kapur
Lee
Ligozat
McCarthy
MEHUL BHATT
Moratz
PRZEMYSŁAW ANDRZEJ WAŁĘGA
Randell
Reiter
Sandewall
Schultz
Schultz
Scivos
Spranger
Spranger
Suchan
Suchan
Suchan
Wałęga
Wölfl
Publication venue
'Cambridge University Press (CUP)'
Publication date
Field of study
No full text
Crossref