BibSonomy :: concept  ::

bookmarks

publications

   

• An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
  Michel Lecl`ere and Marie-Laure Mugnier Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), volume5113ofLecture Notes in Computer Science, page119-132. Springer, (2008)
  to conceptual iccs simple cg deduction graph negation 2008 by iccs on Aug 6, 2008, 3:25 PM
  BibTeX 
• Inconsistencies, Negations and Changes in Ontologies.
  Giorgos Flouris and Zhisheng Huang and Jeff Z. Pan and Dimitris Plexousakis and Holger Wache AAAI, AAAI Press, (2006)
  to belief_revision DLs negation impresso by marciomr and 1 other person on Feb 20, 2008, 3:42 AM
  URL | BibTeX 
• Using Tableau to Decide Expressive Description Logics with Role Negation
  Dmitry Tishkovsky and Renate Schmidt Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume4825ofLNCS, page435--448. Berlin, Heidelberg, Springer Verlag, November2007.
  to description expressive using iswc tableau reasoning logic negation semantic_web 2007 role formal_language research_07 by iswc2007 and 1 other person on Nov 7, 2007, 7:13 PM
  URL | BibTeX 
• Processing Negation in NL Interfaces to Knowledge Bases.
  Svetla Boytcheva and Albena Strupchanska and Galia Angelova Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume2393ofLecture Notes in Computer Science, page137-150. Springer, (2002)
  to iccs knowledge natural language base cg graphs negation 2002 conceptual by iccs and 1 other person on Aug 7, 2007, 11:52 AM
  BibTeX 
• An Embedding of Existential Graphs into Concept Graphs with Negations.
  Frithjof Dau Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume2393ofLecture Notes in Computer Science, page326-340. Springer, (2002)
  to graphs concept 2002 iccs embedding existential negation by iccs and 1 other person on Aug 7, 2007, 11:52 AM
  BibTeX 
• Concept Graphs without Negations: Standard Models and Standard Graphs
  Frithjof Dau Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003), page243-256. (2003)
  to negation iccs 2003 graphs concept by iccs on Aug 7, 2007, 11:33 AM
  BibTeX 
• Negation in Contextual Logic.
  L'eonard Kwuida and Andreja Tepavcevic and Branimir Seselja Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume3127ofLecture Notes in Computer Science, page227-241. Springer, (2004)
  to formal analysis concept iccs contextual fca logic negation 2004 by iccs and 1 other person on Aug 2, 2007, 10:26 AM
  BibTeX 
• Local Negation in Concept Graphs.
  Julia Klinger Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume3596ofLecture Notes in Computer Science, page209-222. Springer, (2005)
  to cg iccs concept negation local 2005 graphs by iccs and 1 other person on Aug 2, 2007, 9:29 AM
  BibTeX 
• Simple Conceptual Graphs with Atomic Negation and Difference.
  Michel Lecl`ere and Marie-Laure Mugnier Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume4068ofLecture Notes in Computer Science, page331-345. Springer, (2006)
  to iccs algorithms simple difference atomic negation conceptual graphs cg 2006 by iccs on Aug 2, 2007, 8:19 AM
  BibTeX