Author of the publication

Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.

, and . J. Symb. Log., 61 (4): 1242-1260 (1996)

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

On similarity in fuzzy description logics., , and . Fuzzy Sets Syst., (2016)Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality., and . J. Symb. Log., 61 (4): 1242-1260 (1996)Exploring Extensions of Possibilistic Logic over Gödel Logic., , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 923-934. Springer, (2009)Probabilistic Dynamic Belief Logic for Image and Reputation., , and . CCIA, volume 184 of Frontiers in Artificial Intelligence and Applications, page 197-205. IOS Press, (2008)A defeasible reasoning model of inductive concept learning from examples and communication., , , and . Artif. Intell., (2012)Multiagent argumentation for cooperative planning in DeLP-POP., , , , and . AAMAS, page 971-978. IFAAMAS, (2011)On the Multimodal Logic of Normative Systems.. COIN, volume 4870 of Lecture Notes in Computer Science, page 261-274. Springer, (2007)Cooperative Dialogues for Defeasible Argumentation-Based Planning., , , , and . ArgMAS, volume 7543 of Lecture Notes in Computer Science, page 174-193. Springer, (2011)Secure and Optimal Base Contraction in Graded Lukasiewicz Logics., , and . CCIA, volume 202 of Frontiers in Artificial Intelligence and Applications, page 265-274. IOS Press, (2009)Term Models of Horn Clauses over Rational Pavelka Predicate Logic., and . ISMVL, page 112-117. IEEE Computer Society, (2017)