Peter F. Patel-Schneider Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinke Hoekstra, Peter F. Patel-Schneider: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009 CEUR-WS.org 2009
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider: "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications 2009: 436-465
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider: A Syntax for Rules in OWL 2. OWLED 2009
2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)
2007
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007 ACM 2007
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Book Review. Journal of Logic, Language and Information 16(3): 357-359 (2007)
2006
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 CEUR-WS.org 2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner: DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED 2006
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
2005
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Building the Semantic Web Tower from RDF Straw. IJCAI 2005: 546-551
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A Revised Architecture for Semantic Web Reasoning. PPSWR 2005: 32-36
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability 2005
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Improving User Experience through Rule-based Service Customization. Int. J. Cooperative Inf. Syst. 14(4): 469-502 (2005)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1): 23-40 (2005)
2004
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: The Semantic Web and Knowledge Representation. ENC 2004: 7
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: What Is OWL (and Why Should I Care)? KR 2004: 735-737
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Enabling Context-Aware and Privacy-Conscious User Data Sharing. Mobile Data Management 2004: 187-198
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004: 723-731
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBijan Parsia, Peter F. Patel-Schneider: Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004: 306-307
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Steffen Staab: World Wide Web Conference 2004 - Semantic Web Track. J. Web Sem. 2(2): 107 (2004)
2003
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah L. McGuinness, Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003: 265-281
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: "Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. ICSOC 2003: 149-164
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Rule-based Service Customization via Houdini. WWW (Posters) 2003
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Jérôme Siméon: The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. 15(4): 797-812 (2003)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Roberto Sebastiani: A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. (JAIR) 18: 351-389 (2003)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Sem. 1(1): 7-26 (2003)
2002
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002: 792-797
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Jérôme Siméon: Building the Semantic Web on XML. International Semantic Web Conference 2002: 147-161
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Dieter Fensel: Layering the Semantic Web: Problems and Directions. International Semantic Web Conference 2002: 16-29
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Jérôme Siméon: The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak: R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. 14(3): 638-658 (2002)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)
2001
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 CEUR-WS.org 2001
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems 16(2): 38-45 (2001)
2000
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: System Description: DLP. CADE 2000: 297-301
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: What's New in DLP. Description Logics 2000: 227-235
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: TANCS-2000 Results for DLP. TABLEAUX 2000: 72-76
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): (2000)
1999
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 CEUR-WS.org 1999
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: DLP. Description Logics 1999
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Systems Comparison. Description Logics 1999
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: DLP and FaCT. TABLEAUX 1999: 19-23
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Magazine 20(1): 138 (1999)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alexander Borgida: "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artif. Intell. 114(1-2): 203-237 (1999)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Marie-Christine Rousset: Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty: Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999)
1998
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in Knowledge Representation Systems. AAAI/IAAI 1998: 608-614
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: DLP System Description. Description Logics 1998
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: DLP. Description Logics 1998
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: NeoClassic. Description Logics 1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998: 27-30
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah L. McGuinness, Charles L. Isbell, Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty: A description logic-based configurator on the web. SIGART Bulletin 9(2): 20-22 (1998)
1997
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Preliminary Investigations into Interactive Classification in DL. Description Logics 1997
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in DL Systems. Description Logics 1997
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA 1997: 77-92
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA AAAI Press 1996
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 1996: 490-497
1995
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. IJCAI 1995: 1814-1820
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Peter F. Patel-Schneider: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. (JAIR) 1: 277-308 (1994)
1992
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Defaults and Descriptions. Description Logics 1992: 72-73
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics 1992: 74-75
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick: The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS 1992: 1036-1043
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches: The DARPA Knowledge Sharing Effort: A Progress Report. KR 1992: 777-788
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991: 93-96
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida: The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bulletin 2(3): 108-113 (1991)
1990
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen: Term Subsumption Languages in Knowledge Representation. AI Magazine 11(2): 16-23 (1990)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Practical, object-based knowledge representation for knowledge-based systems. Inf. Syst. 15(1): 9-19 (1990)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A Decidable First-Order Logic for Knowldge Representation. J. Autom. Reasoning 6(4): 361-388 (1990)
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351 (1989)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Undecidability of Subsumption in NIKL. Artif. Intell. 39(2): 263-272 (1989)
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI 1988: 485-490
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence 3: 64-77 (1987)
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages. AAAI 1986: 344-348
1985
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985: 455-458

Coauthor Index

1Franz Baader [67]
2Sean Bechhofer [42] [75] [83]
3Alexander Borgida [10] [13] [16] [35] [40] [43] [91]
4Ronald J. Brachman (Ron Brachman) [13] [35] [91]
5Diego Calvanese [67]
6James M. Crawford [17] [18] [53]
7Daniel Dvorak [17] [18] [53]
8Dieter Fensel [48] [55]
9Richard Fikes [12]
10Timothy W. Finin (Tim Finin) [12]
11Enrico Franconi [19] [32] [40]
12Manfred Gehrke [19]
13Giuseppe De Giacomo [32]
14Birte Glimm [90]
15Carole A. Goble [51]
16Bernardo Cuenca Grau [82] [84] [89]
17Thomas R. Gruber (Tom Gruber) [12]
18Nicola Guarino [9]
19Frank van Harmelen [48] [57] [58]
20James A. Hendler (Jim Hendler) [78]
21Rinke Hoekstra [92]
22Matthew Horridge [90]
23Ian Horrocks [24] [28] [29] [30] [32] [33] [37] [39] [40] [42] [44] [48] [50] [52] [57] [58] [62] [63] [65] [69] [71] [75] [78] [81] [82] [84] [86] [87] [89]
24Richard Hull [61] [64] [72] [76]
25Charles Lee Isbell Jr. (Charles L. Isbell) [23]
26Alfred Kobsa [9]
27Bharat Kumar [61] [64] [72] [76]
28Patrick Lambrix [43]
29Maurizio Lenzerini [43]
30Thorsten Liebig [83]
31Daniel F. Lieuwen [61] [64] [72] [76]
32Diane J. Litman [17] [18] [20] [53]
33Marko Luther [83]
34Robert M. MacGregor [9]
35William S. Mark [9]
36Deborah L. McGuinness [9] [10] [13] [19] [21] [23] [31] [32] [35] [40] [48] [51] [66] [67] [91]
37Donald P. McKay [12]
38Anil Mishra [17] [18] [20] [53]
39Ralf Möller [43] [51]
40Boris Motik [89]
41Daniele Nardi [67]
42Bernhard Nebel [9]
43Robert Neches [12]
44Olaf Noppens [83]
45Werner Nutt [32]
46Bernd Owsnicki-Klewe [9]
47Lin Padgham [19]
48Matt Parker [23]
49Bijan Parsia [70] [78] [82] [84] [89] [90]
50Ramesh S. Patil [12]
51Lori Alperin Resnick [13] [23]
52Marie-Christine Rousset [34]
53Arnaud Sahuguet [61] [64] [72] [76]
54Ulrike Sattler [82] [89]
55Albrecht Schmiedel [9]
56Roberto Sebastiani [44] [49] [59]
57Prashant J. Shenoy [88]
58Jérôme Siméon [54] [56] [60]
59Steffen Staab [68]
60Boontawee Suntisrivaraporn [83]
61Sergio Tessaris [42]
62Dmitry Tsarkov [75] [87]
63Anni-Yasmin Turhan [83]
64Sriram Varadarajan [61] [64] [72] [76]
65Avinash Vyas [61] [64] [72] [76]
66Timo Weithöner [83]
67Christopher A. Welty [23] [32]
68Carey L. Williamson [88]
69John Yen [9]
70Mary Ellen Zurko [88]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)