Author of the publication

A Formalization of Ashok Goel's SBF Concept of Function.

, , , and . AIDE@AI*IA, volume 1473 of CEUR Workshop Proceedings, page 9-20. CEUR-WS.org, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Ontology of Meta-Level Categories., , and . KR, page 270-280. Morgan Kaufmann, (1994)Towards a Formal Account of Similarity and Family Resemblance for Technical Functions., and . FOMI, volume 229 of Frontiers in Artificial Intelligence and Applications, page 63-74. IOS Press, (2011)Refining OntoClean. Identity Criteria and Grounding., and . JOWO, volume 2708 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)TGTS Based Argumentation., , , and . AI³@AI*IA, volume 3354 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)PWK Agent Belief Suspension in Argumentation., and . AI³@AI*IA, volume 3086 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)A Compatibilist Approach in Ontology: Steps Towards a Formalization., and . FOIS, volume 377 of Frontiers in Artificial Intelligence and Applications, page 182-194. IOS Press, (2023)Identity criteria: an epistemic path to conceptual grounding., and . Synth., 197 (7): 3151-3169 (2020)Mereology and Identity., and . Synth., 198 (18-S): 4205-4227 (2021)A Formalization of Ashok Goel's SBF Concept of Function., , , and . AIDE@AI*IA, volume 1473 of CEUR Workshop Proceedings, page 9-20. CEUR-WS.org, (2015)Formalizing Ontological Commitment., , and . AAAI, page 560-567. AAAI Press / The MIT Press, (1994)