The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Order-sorted Logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1994 (16) 1995-2009 (15) 2011 (1)
Publication types (Num. hits)
article(8) book(1) inproceedings(22) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords

Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
65Christian Prehofer An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification
60Françoise Debart, Patrice Enjalbert, Madeleine Lescot Multi-Modal Logic Programming using Equational and Order-Sorted Logic. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
57Ken Kaneiwa, Philip H. P. Nguyen Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Cesare Tinelli, Calogero G. Zarba Combining Decision Procedures for Sorted Theories. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Nwe Ni Tun, Satoshi Tojo Inheritance of Multiple Identity Conditions in Order-Sorted Logic. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Peter H. Schmitt, Wolfgang Wernecke Tableau Calculus for Order Sorted Logic. Search on Bibsonomy Sorts and Types in Artificial Intelligence The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40Tru H. Cao, Peter N. Creasy Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure. Search on Bibsonomy ICCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Masaki Kitano, Seikoh Nishita, Tsutomu Ishikawa Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. Search on Bibsonomy MICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Rolf Socher-Ambrosius Unification in Order-Sorted Logic With Term Declarations. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Joseph A. Goguen, Rod M. Burstall Institutions: Abstract Model Theory for Specification and Programming. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Patricia Johann, Michael Kohlhase Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Tokuyasu Kakuta, Makoto Haraguchi A demonstration of a legal reasoning system based on teleological analogies. Search on Bibsonomy ICAIL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy
28Ken Kaneiwa Description Logic and Order-sorted Logic. Search on Bibsonomy Description Logics The full citation details ... 2004 DBLP  BibTeX  RDF
28Françoise Debart, Patrice Enjalbert, Madeleine Lescot Multimodal Logic Programming Using Equational and Order-Sorted Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Ricardo Caferra, Stéphane Demri Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Ken Kaneiwa Existential rigidity and many modalities in order-sorted logic. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Ken Kaneiwa, Riichiro Mizoguchi Distributed reasoning with ontologies and rules in order-sorted logic programming. Search on Bibsonomy J. Web Semant. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Ken Kaneiwa Order-sorted logic programming with predicate hierarchy. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Nwe Ni Tun, Satoshi Tojo Consistent Hybrid Knowledge Representation in Order-Sorted Logic. Search on Bibsonomy International Conference on Computational Intelligence The full citation details ... 2004 DBLP  BibTeX  RDF
23Ken Kaneiwa, Satoshi Tojo Event, Property, and Hierarchy in Order-Sorted Logic. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
23Christoph Beierle Type Inferencing for Polymorphic Order-Sorted Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
23Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann An Order-Sorted Logic for Knowledge Representation Systems. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Toni Bollinger, Udo Pletat An Order-Sorted Logic with Sort Literals and Disjointness Constraints. Search on Bibsonomy KR The full citation details ... 1992 DBLP  BibTeX  RDF
23Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann An Order-Sorted Logic for Knowledge Representation Systems Search on Bibsonomy IWBS Report The full citation details ... 1990   RDF
23Peter H. Schmitt, Wolfgang Wernecke Tableau Calculus for Order Sorted Logic Search on Bibsonomy IWBS Report The full citation details ... 1990   RDF
23Manfred Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations Search on Bibsonomy 1989   DOI  RDF
23Manfred Schmidt-Schauß Computational aspects of an order-sorted logic with term declarations. Search on Bibsonomy 1988   RDF
15Bikash Chandra Ghosh, Vilas Wuwongse Inference Systems for Conceptual Graph Programs. Search on Bibsonomy ICCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy Expressing Program Requirements Using Refinement Lattices. Search on Bibsonomy ISMIS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Ken Kaneiwa, Michiaki Iwazume, Ken Fukuda An Upper Ontology for Event Classifications and Relations. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Thierry Boy de la Tour Some Techniques of Isomorph-Free Search. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #32 of 32 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license