2009 Archives by author
Starting: Thu Jan 1 15:45:58 CET 2009
Ending: Thu Dec 31 16:47:59 CET 2009
Messages: 210
- [DL] ARCOE-09 Second Call for Participation
ARCOE-09
- [DL] CFP: HyLo 2009
Carlos Areces
- [DL] E. W. Beth Dissertation Prize: 2009 call for submissions
Carlos Areces
- [DL] Last Call for Papers HyLo09
Carlos Areces
- [DL] HyLo09: Deadline Extended till 15th March, 2009
Carlos Areces
- [DL] E.W. Beth Dissertation Prize: Extended Deadline
Carlos Areces
- [DL] CFP: LJ of the IGPL Special Issue on Hybrid Logics
Carlos Areces
- [DL] 2nd CFP: Special Issue on Hybrid Logics of the LJ-IGPL
Carlos Areces
- [DL] [CFP] Special Issue of the LJ-IGPL on Hybrid Logics
Carlos Areces
- [DL] Need Guidance: [Semantic Cache, SQL]
Muhammad Azeem
- [DL] How does one handle multiple parents while still controlling disjointness?
Franz Baader
- [DL] CFP: Graduate Symposium - Canadian Artificial Intelligence 2010
Ebrahim Bagheri
- [DL] Semantic Technology: Knowledge Engineering Associates
Christopher Baker
- [DL] Call for Workshops, Tutorials, Posters, and Demos - Fourth Asian Semantic Web Conference (ASWC 2009)
Jie Bao
- [DL] Call for Tutorials - Fourth Asian Semantic Web Conference (ASWC 2009)
Jie Bao
- [DL] Call for Tutorials - Fourth Asian Semantic Web Conference (ASWC 2009)
Jie Bao
- [DL] Call for Papers - 4th Int. Workshop on Modular Ontologies
Jie Bao
- [DL] CFP: CADE-22 Workshop 'Beyond SAT: What About First-Order Logic?'
Peter Baumgartner
- [DL] 2nd CFP: CADE-22 Workshop 'Beyond SAT: What About First-Order Logic?'
Peter Baumgartner
- [DL] 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)
Thomas Bolander
- [DL] 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)
Thomas Bolander
- [DL] Last CFP: Methods for Modalities 6 (M4M-6)
Thomas Bolander
- [DL] M4M-6: Deadline extended till September 1
Thomas Bolander
- [DL] FIRST PhD Autumn School on Modal Logic
Thomas Bolander
- [DL] Call for participation: Methods for Modalities 6
Thomas Bolander
- [DL] CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010)
Thomas Bolander
- [DL] Postdoc position at Free University of Bozen-Bolzano
Jos de Bruijn
- [DL] Call for PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Oct. 23, 2009
Diego Calvanese
- [DL] 1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.
Michael Chan
- [DL] 2nd CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.
Michael Chan
- [DL] DL for conceptual modelling
Yi Choong-ho
- [DL] second announcement: PhD Studentship on Evaluation of Semantic Web Search
Fabio Ciravegna
- [DL] University of Sheffield: Lectureship/Senior Lectureship in Information and Knowledge Technologies
Fabio Ciravegna
- [DL] CFP: Managing Vagueness and Uncertainty in the Semantic Web (VUSW09)
Davide Ciucci
- [DL] OIC 2009 - Call for Participation
Paulo CG Costa
- [DL] Post-doc position open in Brazil
Fabio Cozman
- [DL] PhD position at LIRMM, Montpellier
Madalina Croitoru
- [DL] Call for Contributions: Beautiful Ontologies, a special issue of the Applied Ontology
Mathieu D'Aquin
- [DL] Call for Contributions: Beautiful Ontologies, a special issue of the Applied Ontology
Mathieu D'Aquin
- [DL] Deadline Extension: Beautiful Ontologies, a special issue of Applied Ontology
Mathieu D'Aquin
- [DL] CPF IWOD 2009: 3rd International Workshop on Ontology Dynamics
Mathieu D'Aquin
- [DL] CPF IWOD 2009: 3rd International Workshop on Ontology Dynamics
Mathieu D'Aquin
- [DL] Deadline extension - IWOD 2009 workshop on ontology dynamics at ISWC
Mathieu D'Aquin
- [DL] CFP Special Issue of the Journal of Web Semantics on Semantic Web Dynamics
Mathieu D'Aquin
- [DL] Call for ICLP'10 Workshop Proposals
Veronica Dahl
- [DL] First Call for Paper: The 3rd International Provenance and Annotation Workshop (IPAW'2010)
Li Ding
- [DL] PRNCL 2009 - Workshop on Proofs and Refutations in Non-Classical Logics
Roy Dyckhoff
- [DL] ECAI-2010: 1st Call for Workshop Proposals (deadline: 11 December 2009)
Ulle Endriss
- [DL] ECAI-2010: 2nd Call for Workshop Proposals (deadline: 11 December 2009)
Ulle Endriss
- [DL] ECAI-2010: Final Call for Workshop Proposals
Ulle Endriss
- [DL] ECAI-2010: Call for Papers
Ulle Endriss
- [DL] Instance Matching Initiative
Alfio Ferrara
- [DL] ICCS 2010: Call for Papers
Sebastien Ferre
- [DL] ICCS 2010: 2nd Call for Papers (deadline extension)
Sebastien Ferre
- [DL] How does one handle multiple parents while still controlling disjointness?
William Fitzgerald
- [DL] How does one handle multiple parents while still controlling disjointness?
William Fitzgerald
- [DL] European Master in Computational Logic - scholarships for non-European and European students
Enrico Franconi
- [DL] Postdoc position on Description Logics and Rules in Bozen-Bolzano (Italy)
Enrico Franconi
- [DL] 5th Reasoning Web Summer School 2009 - call for participation
Enrico Franconi
- [DL] 5th Reasoning Web Summer School 2009 - call for participation
Enrico Franconi
- [DL] Faculty Position in Computer Science at the Free University of Bozen-Bolzano
Enrico Franconi
- [DL] Master's degree on "Semantic Web" - scholarships for Europeans
Enrico Franconi
- [DL] Q: how many Oxford fellows does it take?
Enrico Franconi
- [DL] ASWC 2009 Call for Papers
Linyun Fu
- [DL] FOIS2010 call for papers
Galton, Antony
- [DL] TABLEAUX'09 Workshop on tableaux vs automata: call for submissions
Valentin Goranko
- [DL] CfP: 22nd International Workshop on Description Logics (DL 2009)
Bernardo Cuenca Grau
- [DL] 2nd CfP: 22nd International Workshop on Description Logics (DL 2009)
Bernardo Cuenca Grau
- [DL] Deadline Extension: International Workshop on Description Logics (DL-2009)
Bernardo Cuenca Grau
- [DL] Position as a software developer
HR
- [DL] Job ad: PhD position
HR
- [DL] Job ad: Scientific Employee
HR
- [DL] Job ad: Scientific Employee
HR
- [DL] ISWC 2009 Call for Workshop Proposals
Jeff Heflin
- [DL] PhD Position at Vienna University of Technology
Stijn Heymans
- [DL] open assistant professorship or postdoc position in Semantic Web (AIFB Karlsruhe)
Pascal Hitzler
- [DL] CfP: Applications of Semantic Technologies AST2009
Pascal Hitzler
- [DL] Final CfP: Applications of Semantic Technologies AST2009
Pascal Hitzler
- [DL] postdoc / assistant professor position at AIFB, university of Karlsruhe
Pascal Hitzler
- [DL] Announcement: Textbook: Foundations of Semantic Web Technologies
Pascal Hitzler
- [DL] ESWC 2010 - AI Mashup Challenge: Call for Submissions
Pascal Hitzler
- [DL] OWLED 2009 -- Second Call for Papers
Rinke Hoekstra
- [DL] OWLED 2009 -- Deadlines Approaching
Rinke Hoekstra
- [DL] OWLED 2009 -- Deadline Extension
Rinke Hoekstra
- [DL] OWLED 2009 - Papers Online & Call for Participation
Rinke Hoekstra
- [DL] Final call for comments: W3C publishes OWL 2 "last call" drafts
Ian Horrocks
- [DL] OWL 2 Last Call Working Drafts
Ian Horrocks
- [DL] W3C Invites Implementation of OWL 2
Ian Horrocks
- [DL] Call for Participation: K-CAP 2009 The 5th Intl. Conference on Knowledge Capture
Andreas Hotho
- [DL] 2nd CfP: SI on Bridging the Gap - Data Mining and Social Network Analysis, Semantic Web & Web2.0
Andreas Hotho
- [DL] Want some tutorial or example for Ontology
Vishal Jain
- [DL] Call For Participation: Semantics for the Rest of Us Workshop at ISWC 2009
Lalana Kagal
- [DL] NAF & De Morgan's Law
Ankesh Khandelwal
- [DL] validity of laws of predicate logic under CWA and NAF
Ankesh Khandelwal
- [DL] AiML 2010: First call for papers
Andrey Kudinov
- [DL] International Conference on Formal Concept Analysis 2010, March 15 - 18, 2010, Agadir, Morocco. CFP
Leonard Kwuida
- [DL] CFP: 5th Int. WS on Scalable SW Knowledge Bases (SSWS 2008)
Thorsten Liebig
- [DL] Final OWLlink 1.0 Specification Released
Thorsten Liebig
- [DL] World Congress, Lisbon 2010 - Call for Papers
Universal Logic
- [DL] contest: how to combine logics?
Universal Logic
- [DL] AAAI-10: CALL FOR TUTORIALS
Thomas Lukasiewicz
- [DL] AAAI-10: Last Call for Tutorials
Thomas Lukasiewicz
- [DL] RR 2010: Call for Papers
Thomas Lukasiewicz
- [DL] DL Mailinglist Transfer
Carsten Lutz
- [DL] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE
MYV
- [DL] Job opening
Ralf Moeller
- [DL] ESSLLI 2009 Call for Participation
Richard Moot
- [DL] ESSLLI 2009 - Second Call for Participation
Richard Moot
- [DL] ESSLLI 2009 - Early registration deadline approaching
Richard Moot
- [DL] ESSLLI 2009 Bordeaux: Program and Call for Participation
Richard Moot
- [DL] ESSLLI 2009 - Final Call for Participation
Richard Moot
- [DL] DL 2009: Final Call for Participation
Boris Motik
- [DL] JELIA 2010 First Call for Papers
Emilia Oikarinen
- [DL] CFP: 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE2009)
Pan, Dr Jeff Z.
- [DL] Research Studentships @ Aberdeen
Pan, Dr Jeff Z.
- [DL] 2nd CFP: 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE2009)
Pan, Dr Jeff Z.
- [DL] Postdoctoral Research Fellow Semantic Infrastructures
Pan, Dr Jeff Z.
- [DL] CFP Special Issue of the Journal of Web Semantics on Semantic Web Dynamics
Pan, Dr Jeff Z.
- [DL] [CFP] ESWC2010 Ontology and Reasoning Track: CALL FOR PAPERS
Pan, Dr Jeff Z.
- [DL] [CFP] ESWC2010 Ontology and Reasoning Track: FINAL CALL FOR PAPERS (Abstract Deadline: 15th Dec)
Pan, Dr Jeff Z.
- [DL] PhD Positions on Ontology Reasoning and Next-generation Internet
Jeff Z. Pan
- [DL] [Fwd: how to test parsers?]
Jeff Z. Pan
- [DL] TIME 2010 (Paris): Call for papers
Ian Pratt-Hartmann
- [DL] 3rd CFP: AMAI Special Issue on Commonsense Reasoning for the Semantic Web
Guilin Qi
- [DL] CFP: 3rd Int. Conf. on Web Reasoning and Rule Systems (RR 2009)
Guilin Qi
- [DL] 2nd CFP: 3rd Int. Conf. on Web Reasoning and Rule Systems (RR 2009)
Guilin Qi
- [DL] WoLLIC 2009 - Second Call for Papers (DEADLINE: Feb 28)
Ruy de Queiroz
- [DL] WoLLIC 2009 - Call for Participation
Ruy de Queiroz
- [DL] WoLLIC 2010 - Call for Papers
Ruy de Queiroz
- [DL] WoLLIC 2010 - 2nd Call for Papers
Ruy de Queiroz
- [DL] TIME'09 - Final call for papers
Jean-Francois Raskin
- [DL] (no subject)
Reul, Q. H.
- [DL] Third CfP - ICCS'09 - DEADLINE EXTENDED
Sebastian Rudolph
- [DL] validity of laws of predicate logic under CWA and NAF
Uli Sattler
- [DL] How does one handle multiple parents while still controlling disjointness?
Uli Sattler
- [DL] help for DL operators
Thomas Schneider
- [DL] ISWC 2009: Call for Papers
Todd Schneider
- [DL] CADE-22 last call for papers
Carsten Schuermann
- [DL] CADE-22 - Call for Participation
Carsten Schuermann
- [DL] CADE-22 - Second Call for Participation
Carsten Schuermann
- [DL] FLoC 2010: Final Call for Workshop Proposals
Nicole Schweikardt
- [DL] FLoC 2010: Call for Workshop Proposals - Deadline Extension
Nicole Schweikardt
- [DL] FLoC 2010: Call for Papers
Nicole Schweikardt
- [DL] FroCoS'09 Call for Papers
Roberto Sebastiani
- [DL] FroCoS'09 Call for Papers
Roberto Sebastiani
- [DL] FroCoS'09 Final Call for Papers
Roberto Sebastiani
- [DL] PhD positions in ICT on Formal Verification via SMT available in Trento
Roberto Sebastiani
- [DL] FroCoS'09: Call for Participation
Roberto Sebastiani
- [DL] Special session on Description Logic of Knowledge Representation
Baris Sertkaya
- [DL] Ontology Completion Plugin for Protege 4
Baris Sertkaya
- [DL] Call for Papers - ICFCA 2010 - International Conference on Formal Concept Analysis
Baris Sertkaya
- [DL] ICFCA 2010 -- Deadlines approaching
Baris Sertkaya
- [DL] Funded D.Phil Computer Science studentships at Oxford
Julie Sheppard
- [DL] ONTOLOGY MATCHING Bkumazawa at riss.osaka-u.ac.jp <kumazawa at riss.osaka-u.ac.jp>OOK
Pavel Shvaiko
- [DL] 1st CFP: ISWC'09 workshop on Ontology Matching (OM-2009)
Pavel Shvaiko
- [DL] 2nd CFP: ISWC'09 workshop on Ontology Matching (OM-2009)
Pavel Shvaiko
- [DL] Final CFP: ISWC'09 workshop on Ontology Matching (OM-2009)
Pavel Shvaiko
- [DL] OAEI-2009: Final call for ontology matching systems participation
Pavel Shvaiko
- [DL] Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009)
Fernando Silva
- [DL] First call for submissions ESSLLI 2010 Student session
Marija Slavkovik
- [DL] Postdoctoral Research Position in Ontology
Barry Smith
- [DL] Tableaux 2009: Final CfP
Viorica Sofronie-Stokkermans
- [DL] FTP 2009: First call for papers
Viorica Sofronie-Stokkermans
- [DL] FTP 2009: Call for papers
Viorica Sofronie-Stokkermans
- [DL] Call for papers: ADDCT'09 Workshop - "Automated Deduction: Decidability, Complexity, Tractability"
Viorica Sofronie-Stokkermans
- [DL] FTP 2009: Deadline extension
Viorica Sofronie-Stokkermans
- [DL] ADDCT'07: Deadline extension (Abstract Submission Deadline May 22)
Viorica Sofronie-Stokkermans
- [DL] Tableaux 2009: Call for Participation
Viorica Sofronie-Stokkermans
- [DL] IJCAR 2010 - first call for papers
Viorica Sofronie-Stokkermans
- [DL] Launch of the Service-Finder portal for Web Service discovery
Nathalie Steinmetz
- [DL] Open (PhD) Positions in Project on Academic Publication Management
Gerd Stumme
- [DL] Two PhD positions in Knowledge & Data Engineering Group, University of Kassel
Gerd Stumme
- [DL] Updates on the CEL reasoner
Boontawee Suntisrivaraporn
- [DL] LPAR-16 - Dakar, Senegal - April 2010
Geoff Sutcliffe
- [DL] [CFP] JWS special issue on Semantic Search
Tran Thanh
- [DL] Description Logics 2010: 1st call for papers
David Toman
- [DL] Description Logics 2010: 2nd call for papers
David Toman
- [DL] CFP: K-CAP 2009 - The 5th Intl. Conference on Knowledge Capture
Tania Tudorache
- [DL] K-CAP 2009: Deadlines for research papers and tutorial proposals approaching (The 5th Intl. Conference on Knowledge Capture)
Tania Tudorache
- [DL] Call for Participation: K-CAP 2009 - EARLY REGISTRATION DEADLINE: 15 July, 2009 (The 5th Intl. Conference on Knowledge Capture)
Tania Tudorache
- [DL] CFP: UniDL 2010
A.-Y. Turhan
- [DL] 2009 Protege Conference: Call for participation
Protege Project Stanford University
- [DL] Call for tutorial and workshop proposals at the 11th International Protege Conference
Protege Project Stanford University
- [DL] 2009 Protege Conference: Schedule and Early Registration
Protege Project Stanford University
- [DL] Commonsense and Non-Monotonic Reasoning for Ontologies
Ivan José Varzinczak
- [DL] CFP KR 2010 Doctoral Consortium
Joost Vennekens
- [DL] KSEM Conference Program Announced
PAKM Verteiler
- [DL] Second call for papers: NMR sub-workshop on ontologies
Renata Wassermann
- [DL] CfP: ECAI-2010
Michael Wooldridge
- [DL] DL and Epistemic Logic
Behnam Esfahbod ZWNJ
- [DL] AI Space Odyssey - Special Issue of IEEE Intelligent Systems
Yu Zhang
- [DL] Postdoctoral Researcher / Assistant Professor position at AIFB, University of Karlsruhe, Germany
bewerbung-studer at aifb.uni-karlsruhe.de
- [DL] help needed
tariq ali
- [DL] Help: (SQL queries to DL)
tariq ali
- [DL] help for DL operators
tariq ali
- [DL] CFP: 2nd International Workshop on Nature inspired Reasoning for the Semantic Web (NatuResS09)
cgueret
- [DL] CFP: Australasian Ontology Workshop (AOW 2009)
Kerry.Taylor at csiro.au
- [DL] CFP #2: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009
Kerry.Taylor at csiro.au
- [DL] Final CFP: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009
Kerry.Taylor at csiro.au
- [DL] CFP: 5th Workshop on Uncertainty Reasoning for the Semantic Web
Claudia d'Amato
- [DL] EKAW 2010: First call for paper
Claudia d'Amato
- [DL] JOB: Research Associate - Semantic Web (deadline approaching)
Mathieu d'Aquin
- [DL] DL ontology Query: Tree or Graph structure?
william fitzgerald
- [DL] Query: DL and additional Constraint Logic Programming Reasoning
william fitzgerald
- [DL] Final CFP and DEADLINE EXTENSION (April 19, 2009): *ELSEWHERE*2009
shilov at iis.nsk.su
- [DL] IJSWIS Special Issue on "Semantic Media Adaptation & Personalization"
smap-publicity at image.ntua.gr
- [DL] ISWC 2009: 2nd Call for Papers
iswc2009publicity
- [DL] NAF & De Morgan's Law
abhinav kumar
- [DL] ESSLLI 2010: Call for Course and Workshop Proposals
Carlos.Areces at loria.fr
- [DL] ISWC 2009 student fellowships
joel sachs
Last message date:
Thu Dec 31 16:47:59 CET 2009
Archived on: Wed Nov 23 11:30:13 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).