MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ulrich Endriss" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Adding a Zoom to Linear Temporal Logic  
  • by Ulrich Endriss — 2002
  • …/R45369 and GR/N23028. Ulrich Endriss Department of Computer Science, King’s College London Strand, London…
  • Add To MetaCart
  • WinKE: A Proof Assistant for Teaching Logic  
  • by Marcello D'Agostino, Ulrich Endriss — 1998 — Proceedings of the First International Workshop on Labelled Deduction
  • …WinKE: A Proof Assistant for Teaching Logic Marcello D'Agostino and Ulrich Endriss Department…
  • Add To MetaCart
  • Resource Allocation in Egalitarian Agent Societies  
  • by Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni — 2003 — In Secondes Journées Francophones sur les Modèles Formels d’Interaction (MFI-2003
  • …Ulrich Endriss ue@(email omitted); Resource Allocation in Egalitarian Agent Societies Nicolas Maudet…
  • Cited by 2 (2 self) – Add To MetaCart
  • Aspects of Protocol Conformance in Inter-agent Dialogue  
  • by Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni — 2003 — Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003). ACM Press, 2003. Extended Abstract
  • …Aspects of Protocol Conformance in Inter-agent Dialogue ABSTRACT Ulrich Endriss, Nicolas Maudet…
  • Cited by 4 (2 self) – Add To MetaCart
  • Protocol Conformance for Logic-based Agents  
  • by Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni — 2003 — Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003
  • …Protocol Conformance for Logic-based Agents Ulrich Endriss and Nicolas Maudet and Fariba Sadri…
  • Cited by 35 (13 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB