2007 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Jan 2 11:07:39 CET 2007
Ending: Fri Dec 28 13:18:31 CET 2007
Messages: 244

• [DL] 2nd call for contributions to Knowledge Web PhD symposium at ESWC 2007   Stijn Heymans
• [DL] ASAI 2007 - IX Argentine Symposium on Artificial Intelligence   Carlos Areces
• [DL] [CFP]AAAI2007's Workshop on Semantic E-Science (SeS2007)   Yimin Wang
• [DL] Call for Workshop Proposals (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] Research Track CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [DL] CONTEXT'07, 2nd call for papers/posters/demos/workshop proposals   henning at ruc.dk
• [DL] CFP: WORKSHOP ON HEALTH CARE AND LIFE SCIENCES DATA INTEGRATION FOR THE SEMANTIC WEB   Kashyap, Vipul
• [DL] European Masters Program in Language and Communication Technologies (LCT)   Raffaella Bernardi
• [DL] First annoucement for the Fifth European Summer School on Ontological Engineering and the Semantic Web (SSSW-2007)   John Domingue
• [DL] Graduate School Market Engineering Offers Ph.D. Scholarships   Rudi Studer
• [DL] CFP: Journal of Applied Ontology - Special Issue on "Ontological Foundations for Conceptual Modeling"   Guizzardi, G. (Giancarlo)
• [DL] 2nd CFP for TIME'07   Carsten Lutz
• [DL] CFP: RR2007 - The First International Conference on Web Reasoning and Rule Systems   Pascal Hitzler
• [DL] Research post: ontology construction tool   ilaria
• [DL] Campactness   Marcio Moretto Ribeiro
• [DL] Dagstuhl Training Course in Logic for Biomedical Research: 20-23 June 2007   Smith, Barry
• [DL] Doctoral Consortium CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] Call for Workshop Proposals (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] PhD Scholarships in Verifying Requirements for Resource-Bounded Agents   nza at Cs.Nott.AC.UK
• [DL] CFP - J.UCS SPECIAL ISSUE: ONTOLOGIES AND THEIR APPLICATIONS   Fred Freitas
• [DL] Call for Papers: International Workshop on Ontology Dynamics (IWOD-07)   Giorgos Flouris
• [DL] Campactness   Franz Baader
• [DL] Campactness   Carsten Lutz
• [DL] CFP   Torben Brauner
• [DL] 2nd CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)   Joergen Villadsen
• [DL] European MSc in Computational Logic - scholarships available   Enrico Franconi
• [DL] Last call for papers of TABLEAUX 2007   benhamou
• [DL] WoLLIC'2007 - CfP   ruy at cin.ufpe.br
• [DL] CFP - SPECIAL ISSUE: ONTOLOGY AND THEIR APPLICATIONS - J.UCS   Fred Freitas
• [DL] Job Posting for Research Staff Member   Andreas Hotho
• [DL] Announcement: Summer School "Reasoning Web 2007"   Uta Schwertel
• [DL] L&TC'07 Call for Papers   ltc at amu.edu.pl
• [DL] CFP: KOST '07   Peter Scheir
• [DL] Reminder: RR2007 deadline approaching   Jeff Z. Pan
• [DL] CfP: 15th Italian Symposium on Advanced Database Systems(SEBD2007)   Valentina Tamma
• [DL] Research assistant position (Semantic Grid & Folksonomies) - University of Aberdeen   Jeff Z. Pan
• [DL] Call For Papers OWLED 2007   Christine Golbreich
• [DL] 20th Workshop on Description Logics: call for papers   Enrico Franconi
• [DL] HyLo 2007 CFP   Torben Brauner
• [DL] CFP: Journal of Applied Ontology - Special Issue on "Ontological Foundations for Conceptual Modeling"   Guizzardi, G. (Giancarlo)
• [DL] Call for Tutorials (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] International Symposium on Bioinformatics Research and Applications - Call for Posters   K.N. King
• [DL] CSL 07   jduparc
• [DL] Automated Reasoning Workshop 2007 - CFP   Simon Colton
• [DL] Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [DL] Call for Demos: ESWC 2007   Stijn Heymans
• [DL] Protege Short Course - March 27-30, 2007 - Stanford, California   Jennifer Vendetti
• [DL] [CFP]2nd Call for Paper - AAAI'07 Workshop on Semantic e-Science (SeS'07)   Yimin Wang
• [DL] Last call for extended abstracts PhD symposium ESWC 2007   Stijn Heymans
• [DL] Call for papers -- GSEM2007   Jinjun Chen
• [DL] 2007 Protege Conference Call for Presentations, Tutorials, and Workshops   Tania Tudorache
• [DL] 2 PhD Positions in Service-Oriented Computing at RuG   Marco Aiello
• [DL] CFP (SOBDAT/ICWS 2007): IEEE Intl Workshop on Service Oriented Technologies for Biological Databases and Tools   Janaka Balasooriya
• [DL] REMINDER: 4 March 2007 deadline for OWLED 2007   Christine Golbreich
• [DL] Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [DL] CFP: BIBE 2007   BIBE 2007
• [DL] CFP - Special Issue on Ontologies & Their Applications at J.UCS   Fred Freitas
• [DL] Final Call for Papers: International Workshop on Ontology Dynamics (IWOD-07)   Giorgos Flouris
• [DL] Yuri Matiyasevich - 60! Call for papers.   Maxim Vsemirnov
• [DL] Question on DL negation   Matt Williams
• [DL] *20th* Description Logics workshop - Call for Papers   Enrico Franconi
• [DL] Call for papers -- GSEM2007   Jinjun Chen
• [DL] Fw: 1st CfP: CONTEXT'07 workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR-2007)   pavel
• [DL] Call for Papers: International Workshop on Ontology Dynamics (IWOD-07) **** DEADLINE EXTENDED ****   Giorgos Flouris
• [DL] Automated Reasoning Workshop 2007 - Final CFP   Simon Colton
• [DL] THE FIFTH EUROPEAN SUMMER SCHOOL ON ONTOLOGICAL ENGINEERING AND THE SEMANTIC WEB (SSSW-2007)   John Domingue
• [DL] DEADLINE EXTENDED: International Workshop on Hybrid Logic 2007 (HyLo 2007)   Joergen Villadsen
• [DL] Call for demos: ESWC 2007   Stijn Heymans
• [DL] CSR 2007 - 2nd Call for Papers   csr2007
• [DL] 2nd cfp: Bridging the Gap between Semantic Web and Web 2.0 Workshop   Andreas Hotho
• [DL] Semantic Web Challenge CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] EUROCORES Programme LogICCC - CfP   Carlos Areces
• [DL] 2nd CFP: K-CAP 2007   Jeff Z. Pan
• [DL] CFP: AAAI2007's workshop on Semantic e-Science (SeS2007) deadline is approaching   Huajun Chen
• [DL] Final CfP - KOST 2007   Peter Scheir
• [DL] IEEE ICTAI-2007: 2nd Call for Papers   Spiros Sirmakessis
• [DL] Question on DL negation   Maurizio Lenzerini
• [DL] Special Session on Logic and Knowledge Representation at IICAI-07   Ken Kaneiwa
• [DL] PhD Projects on Semantic Web Technologies at the Knowledge Media Institute   e.motta at open.ac.uk
• [DL] AAAI2007's workshop on Semantic e-Science (SeS2007) deadline is extended to April 12   Huajun Chen
• [DL] [CfP] Seventh International Tbilisi Symposium on Language, Logic and Computation   Ulle Endriss
• [DL] Automated Reasoning Workshop 2007 - Call for participation   Simon Colton
• [DL] ** DEADLINE EXTENDED ** - CFP - SPECIAL ISSUE: ONTOLOGIES AND THEIR APPLICATIONS - J.UCS   Fred Freitas
• [DL] Research Track: 2nd CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] 2nd CfP: CONTEXT'07 workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR-2007)   pavel
• [DL] Summer School "Reasoning Web 2007": Application Deadline Approaching   Uta Schwertel
• [DL] ADDCT'07: CFP: Abstract Submission Deadline May 4   Ashish Tiwari
• [DL] Semantic Web In Use Track: 2nd CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] E. W. Beth Dissertation Prize 2007: Extended Deadline   Carlos Areces
• [DL] CFP - BAOSW'07 - 2nd Building and Applying Ontologies for the Semantic Web   Fred Freitas
• [DL] Call for Participation: International Workshop on Ontology Dynamics (IWOD-07)   Giorgos Flouris
• [DL] Collaborative Knowledge Creation Challenge - Call for Participation   Gerd Stumme
• [DL] tableau or tableauX ?   Son LeThanh
• [DL] ESWC 2007: Call for Participation   Stijn Heymans
• [DL] tableau or tableauX ?   Ulrike Sattler
• [DL] tableau or tableauX ?   Amedeo Napoli
• [DL] tableau or tableauX ?   Fernando Naufel do Amaral
• [DL] tableau or tableauX ?   Christel Kemke
• [DL] tableau or tableauX ?   Ian Horrocks
• [DL] Final CFP: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• [DL] [Cfp] 7th Tbilisi Symposium   Ulle Endriss
• [DL] 2007 Protege Conference: Deadline Reminder, Schedule Update   Jennifer Vendetti
• [DL] Call for papers -- GSEM2007   Jinjun Chen
• [DL] tableau or tableauX ? (from The Handbook)   Evgeny Zolin
• [DL] Call for participation: TABLEAUX 2007   benhamou
• [DL] RDP'07 First Call for Participation   Ralf Treinen
• [DL] CFP: MICAI-2007, Artificial Intelligence, Springer LNAI + journals   Alexander Gelbukh (MICAI-2007)
• [DL] Doctorial Consortium at CONTEXT 07, cfp   Joergen Villadsen
• [DL] document describing all possible reasoning queries which can be done with description logics   Simone Ludwig
• [DL] 2nd Call for Tutorials (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] OWLED 2007: CALL FOR PARTICIPATION   Christine Golbreich
• [DL] Call for Participation: International Workshop on Ontology Dynamics (IWOD-07)   Giorgos Flouris
• [DL] IEEE ICTAI-2007: Final Call for Papers   Spiros Sirmakessis
• [DL] Description Logics workshop: registration open   Enrico Franconi
• [DL] Doctoral Consortium at the Eurolan 2007 Summer School: Last CFP   Carlos Areces
• [DL] CFP: 3rd International Workshop on VOCABULARIES, ONTOLOGIES AND RULES FOR THE ENTERPRISE (VORTE 2007 at EDOC)   Kuldar Taveter
• [DL] Semantic Web In Use Track: 2nd CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] Semantic Web Challenge CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] Final CfP: CONTEXT'07 workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR-2007)   pavel
• [DL] Ontologist vacancy - media rights   Andrew Farrow
• [DL] CfP RuleML-2007, October 26/27, Orlando, Florida   Adrian Paschke
• [DL] CfP IBM Ph.D. Student Symposium at the 5th International Conference on Service-Oriented Computing (ICSOC 2007)   Benedikt Kratz -IBM Ph.D. Symposium at ICSOC 2007
• [DL] Book - Finite Model Theory and Its Applications   MYV
• [DL] call for participation: RR 2007   Riccardo Rosati
• [DL] 1st CFP: The ISWC'07 workshop on Ontology Matching (OM-2007)   pavel
• [DL] 1st Call for Ontology Matching Systems Participation: The OAEI'07 campaign   pavel
• [DL] CI/KR postdoc position at VU (Vrije Universiteit) Amsterdam   Frank van Harmelen
• [DL] Re: Call for participation: TABLEAUX 2007   benhamou
• [DL] CFP: 3rd International WS on Scalable Semantic Web Knowledge Base Systems (SSWS '07)   Thorsten Liebig
• [DL] LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th   geoff at cs.miami.edu
• [DL] 1st Asian Autumn School on the Semantic Web (AASSW2007), Busan, South Korea, Nov 5-10, 2007   Ying Ding
• [DL] ESSLLI 2008: Call for Course and Workshop Proposals   Rineke Verbrugge
• [DL] IEEE ICTAI-2007:Submission Extended   Spiros Sirmakessis
• [DL] ESSLLI 2008: Call for Course and Workshop Proposals   Carlos Areces
• [DL] 1st Asian Autumn School on the Semantic Web (AASSW2007), Busan, South Korea, Nov 5-10, 2007   Ying Ding
• [DL] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• [DL] new "Logics for Ontology Engineering" corner at JLC   Ulrike Sattler
• [DL] Position available in Manchester   Ulrike Sattler
• [DL] CFP: OIC 2007: Ontology for the Intelligence Community   Obrst, Leo J.
• [DL] ADDCT'07: Call for Participation: Early Reg. Deadline Jun 10   Ashish Tiwari
• [DL] Ontology and Telemedicine   Jay
• [DL] 2nd CFP: The ISWC'07 workshop on Ontology Matching (OM-2007)   pavel
• [DL] 2nd Call for Ontology Matching Systems Participation: The OAEI'07 campaign   pavel
• [DL] 1st CFP: Service Matchmaking and Resource Retrieval in the Semantic Web   Tommaso Di Noia
• [DL] CFP: NWESP-2007, Web Services, IEEE CS + Journals   NGWSP Conference
• [DL] CfPart: TPHOLs 2007   Klaus Schneider
• [DL] ESSLLI 2008: Second Call for Course and Workshop Proposals   Rineke Verbrugge
• [DL] informal record of DL business meeting at DL 2007   Peter F. Patel-Schneider
• [DL] 2nd CfP RuleML-2007, Springer Confirmed, Submission Deadline Extended to July 20th   Adrian Paschke
• [DL] PHD Position   Alaa F. Al hashim
• [DL] PhD Opportunity at Manchester   Ian Pratt-Hartmann
• [DL] Last CFP: 2nd International Workshop on Applications of Logic Programming in the Web, Semantic Web and Semantic Web Services (ALPSWS2007)   Stijn Heymans
• [DL] Semantic Web Challenge CFP (ISWC 2007 + ASWC 2007)   Masahiro Hori
• [DL] M4M-5 Call for Papers   Carlos Areces
• [DL] PhD Studentship in Logic and Automated Reasoning   Renate Schmidt
• [DL] LAST CFP - BAOSW'2007   Fred Freitas
• [DL] CFP: ACM Web Information and Data Management workshop   Enrico Franconi
• [DL] Final Call for Papers: OIC 2007: Ontology for the Intelligence Community, Nov. 28-30, 2007, Columbia, MD, USA (1 week for paper submissions)   Obrst, Leo J.
• [DL] CFP (Extended deadline): 3rd International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE 2007 at EDOC)   Kuldar Taveter
• [DL] Journal of Logic and Computation: Special Issue on Ontology Dynamics - First Call for Papers   Giorgos Flouris
• [DL] CFP: 3rd International IFIP Workshop on Semantic Web & Web Semantics (IFIP SWWS 2007)   Claudia d'Amato
• [DL] International Workshop on Modular Ontologies   Anne Schlicht
• [DL] Final CFP: ISWC'07 Ontology Matching (OM-2007) workshop   Pavel
• [DL] OAEI-2007: call for ontology matching systems   Pavel
• [DL] European Master in Computational Logic - openings and scholarships for Europeans   Enrico Franconi
• [DL] PhD position in DL in London   Roman Kontchakov
• [DL] Call for Papers: First Industrial Results of Semantic Technologies   Lyndon J B Nixon
• [DL] CFP Uncertainty Reasoning for the Semantic Web at ISWC 2007   Claudia d'Amato
• [DL] LPAR Call for Short Papers   geoff at cs.miami.edu
• [DL] Job ad: Post-Docs & Senior Researchers   hr.at at deri.org
• [DL] Workshop on Modular Ontologies   Anne Schlicht
• [DL] Protege-OWL Short Course, Sept. 10-12, 2007, Stanford University   Jennifer Vendetti
• [DL] Final Call for Papers: First Industrial Results of Semantic Technologies   Lyndon J B Nixon
• [DL] MSc Survey   Min Shi
• [DL] M4M-5: EasyChair Submission Page Now Open   Carlos Areces
• [DL] Postdoctoral position - Semantic eInfrastructure for Social Sciences (Deadline: Aug 24, 2007)   Pan, Dr Jeff Z.
• [DL] CFP: AOW2007 at AI'07   Tommie Meyer
• [DL] IEEE ICTAI-2007: Call for Participation   Spiros Sirmakessis
• [DL] Job ad: PhD position   hr.at at deri.org
• [DL] CfPart: International RuleML Symposium on Rule Interchange and Applications (RuleML-2007)   Adrian Paschke
• [DL] Academic Vacancies -- CS Dept -- Univ of Cyprus   George A. Papadopoulos
• [DL] 1 PhD Position and 1 Postdoc Position in Amsterdam   Ulle Endriss
• [DL] Journal of Logic and Computation: Special Issue on Ontology Dynamics - Second call for Papers   Giorgos Flouris
• [DL] Call for Participation (ISWC 2007 + ASWC 2007) Early Registration deadline approaching   Masahiro Hori
• [DL] ONTOLOGY MATCHING book announcement   Pavel
• [DL] Early Registration deadline extended (ISWC2007 + ASWC2007)   Masahiro Hori
• [DL] correct understanding of DL semantics   Chuming Chen
• [DL] Extended deadline: AOW2007 at AI'07   Tommie Meyer
• [DL] CFP: European Semantic Web Conference (ESWC2008)   Sean Bechhofer
• [DL] Job ad: PhD position   hr.at at deri.org
• [DL] CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION   Carlos Areces
• [DL] correct understanding of DL semantics   Ulrike Sattler
• [DL] correct understanding of DL semantics   Jigneshkumar Viradia
• [DL] ESWC 2007 Call for Workshop Proposals   Heiner Stuckenschmidt
• [DL] translate a first order sentence to DL expression   guilin qi
• [DL] correct understanding of DL semantics   Enrico Franconi
• [DL] CFP: SEMANTIC SCIENTIFIC KNOWLEDGE INTEGRATION AAAI Spring Symposium Series Workshop; March 26-28; Papers Due Nov 2   Deborah L. McGuinness
• [DL] IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• [DL] CFP: TAP 2008 - The Second International Conference on Tests and Proof   Bernhard Beckert
• [DL] Annotation properties representation   Sara WH
• [DL] FW: Journal of Logic and Computation: Special Issue on Ontology Dynamics - Second call for Papers   Giorgos Flouris
• [DL] Ph.D. positions in information and process management   Ulrich Reimer
• [DL] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• [DL] ESWC 2008 Call for Panel Proposals   Raphaël Troncy
• [DL] Annotation properties representation   Peter F. Patel-Schneider
• [DL] TIME 2008 - First Call for Papers   demri at lsv.ens-cachan.fr
• [DL] ESWC 2008 Call for Panel Proposals   Raphaël Troncy
• [DL] Journal of Logic and Computation: Special Issue on Ontology Dynamics - Call for Papers: SUBMISSION DEADLINE EXTENDED   Giorgos Flouris
• [DL] some problems of DL Reasoning   Jun Fang
• [DL] ESWC 2008: 2nd Call for Workshop Proposals   Heiner Stuckenschmidt
• [DL] First CFP: Advances in Modal Logic, 9-12 September 2008, LORIA, Nancy, France   Carlos Areces
• [DL] DL08 Call for Papers   Carsten Lutz
• Re: [DL] some problems of DL Reasoning   李志明
• [DL] Datatype property in OWL DL and Description Logics   B. S. Kamel
• [DL] ESWC 2007 Call for System Demonstrations   Joerg Hoffmann
• [DL] Job offer: 2 Research Assistant / Doctoral Positions   Uta Schwertel
• [DL] 2nd CFP: European Semantic Web Conference (ESWC2008)   Sean Bechhofer
• [DL] WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• [DL] Call for Papers: Semantic Web for Health Care and Life Sciences Workshop   Susie M Stephens
• [DL] Datatype property in OWL DL and Description Logics   Carsten Lutz
• [DL] ESWC 2008: Final Call for Workshop Proposals   Heiner Stuckenschmidt
• [DL] KR08 Doctoral Consortium, Call for Applications   Carsten Lutz
• [DL] IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• [DL] Final CFP: 5th European Semantic Web Conference (ESWC2008)   Sean Bechhofer
• [DL] Call for Papers: KR-MED 2008 "Representing and sharing knowledge using SNOMED CT"   Ronald Cornet
• [DL] Cfp: ESWC 2008 Ph.D. Symposium   Philippe Cudre-Mauroux
• [DL] CSR 2008: Last Call for Papers - deadline extended!   Yuri Pritykin
• [DL] Lecturership   Frank Wolter
• [DL] CFP: Interdisciplinary Ontology Conference, Tokyo, February 26-27, 2008   Obrst, Leo J.
• [DL] larkc open positions   hr.at at deri.org
• [DL] ESWC 2008 2nd Call for System Demonstrations   Joerg Hoffmann
• [DL] ESSLLI 2008   ESSLLI2008
• [DL] decidability   Ward
• [DL] JOB: Research Position in Semantic Web Technologies   Enrico Motta
• [DL] Protege-OWL Short Course, March 24-26, 2008, Stanford University   Jennifer Vendetti
• [DL] TIME'08: Final Call for Papers   Alessandro Artale
• [DL] European Master in Computational Logic - scholarships for non-European and European students   Enrico Franconi
• [DL] CFP: Fifth International Conference on Formal Ontology in Information Systems   Michael Gruninger
• [DL] Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability'']   Viorica Sofronie-Stokkermans
• [DL] JOB: Two PhD Positions on Ontology Reasoning   Jeff Z. Pan
• [DL] JOB: PostDoc Position on Ontology Reasoning   Jeff Z. Pan
• [DL] decidability   Enrico Franconi
• [DL] Postdoc Opening in Nancy (France)   Claire Gardent

Last message date: Fri Dec 28 13:18:31 CET 2007
Archived on: Wed Nov 23 11:30:12 CET 2022

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...