The following pages link to Grigoris Antoniou (Q360255):
Displaying 50 items.
- A framework for modular ERDF ontologies (Q360258) (← links)
- Minimal change: relevance and recovery revisited (Q490421) (← links)
- A correct logic programming computation of default logic extensions (Q679244) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Operational concepts of nonmonotonic logics. II: Autoepistemic logic (Q1272349) (← links)
- Splitting finite default theories: A comparison of two approaches (Q1288176) (← links)
- The verification of modules (Q1329200) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- (Q1924750) (redirect page) (← links)
- New proofs in default logic theory (Q1924751) (← links)
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Justifications for Logic Programming (Q2851284) (← links)
- Forgetting for Defeasible Logic (Q2891441) (← links)
- (Q2909136) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- An inclusion theorem for defeasible logics (Q2946623) (← links)
- MWeb (Q2946635) (← links)
- Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic (Q3003255) (← links)
- Defeasible logic with dynamic priorities (Q3156907) (← links)
- Representation results for defeasible logic (Q3184510) (← links)
- Defeasible reasoning: A discussion of some intuitions (Q3422182) (← links)
- Embedding defeasible logic into logic programming (Q3422417) (← links)
- (Q3455609) (← links)
- ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS (Q3462270) (← links)
- The ramification problem in temporal databases: Concurrent execution (Q3563646) (← links)
- (Q3624127) (← links)
- Contextual Argumentation in Ambient Intelligence (Q3643104) (← links)
- (Q4003336) (← links)
- (Q4247209) (← links)
- (Q4262995) (← links)
- (Q4282499) (← links)
- Applying SLD-Resolution to a Class of Non-Horn Logic Programs (Q4318172) (← links)
- (Q4333375) (← links)
- Studying properties of classes of default logics (Q4421278) (← links)
- A note on the cumulativity of justified default logic (Q4421279) (← links)
- (Q4475122) (← links)
- (Q4494325) (← links)
- (Q4501807) (← links)
- A note on the refinement of ontologies (Q4503753) (← links)
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- Argumentation Semantics for Defeasible Logic (Q4659505) (← links)
- (Q4739568) (← links)
- On the dynamics of default reasoning (Q4805483) (← links)
- (Q4812974) (← links)
- Defeasible logic versus Logic Programming without Negation as Failure (Q4934232) (← links)
- (Q4944873) (← links)
- (Q4955346) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
