Attribut:Download
Aus International Center for Computational Logic
This property stores a file name as a plain string.
A
A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf +
Anicic RuleML11 Iterative Rules.pdf +
2006_1327_Rudolph_A_Deduction_Cal_1.pdf +
BaLuMiSaWo-WSS-2005.pdf +
Kroetzsch-Frantisek-Horrocks-DL-Primer-1201.4089v3.pdf +
TrespMolitor-LTCS-98-01.ps.gz +
ArtLuTo-IJCAI-07.pdf +
HaarslevLutzMoeller-JLC-99.ps.gz +
HorrocksSattler-DL-98.ps.gz +
HorrocksSattler-LTCS-98-05.ps.gz +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
HorrocksSattlerTobies-LTCS-99-08.ps.gz +
Bruennler:03:wv09.pdf +
BaaderDistelICFCA08.pdf +
HS3175006431_2015_LPNMR15-16.pdf +
Funke:08:BMVC.pdf +
A Framework for Intuitionistic Grammar Logics - Lyon.pdf +
BBE-IJCAI20-Sep.pdf +
2014-A-Fully.pdf +