Search Results

Documents authored by Wright, Ben

Document
DOI: 10.4230/LIPIcs.ICLP.2012.476
Together, Is Anything Possible? A Look at Collective Commitments for Agents

Authors: Ben Wright

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract
In this research, commitments - specifically collective commitments - are looked at as a way to model connections between agents in groups. Using the concepts and ideas from action languages, we propose to model these commitments as actions along with the other basic actions that autonomous agents are capable of performing. The languages developed will be tested against different examples from various multi-agent system (MAS) areas and implemented to run in answer set programming.
Cite as

Ben Wright. Together, Is Anything Possible? A Look at Collective Commitments for Agents. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 476-480, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{wright:LIPIcs.ICLP.2012.476,
  author =	{Wright, Ben},
  title =	{{Together, Is Anything Possible? A Look at Collective Commitments for Agents}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{476--480},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.476},
  URN =		{urn:nbn:de:0030-drops-36491},
  doi =		{10.4230/LIPIcs.ICLP.2012.476},
  annote =	{Keywords: Reasoning About Knowledge, Action Languages, Commitments, Multi-agent systems, Modal Logic}
}
Document
DOI: 10.4230/LIPIcs.ICLP.2011.209
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services

Authors: Brandon Chisham, Enrico Pontelli, Tran Cao Son, and Ben Wright

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)

Abstract
The CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. The novelty of CDAOStore lies in the use of a semantic-based approach to the storage and querying of data. This enables CDAOStore to overcome the data format restrictions and complexities of other repositories (e.g., TreeBase) and to provide a domain-specific query interface, derived from studies of querying requirements for phylogenetic databases. CDAOStore represents the first full implementation of the EvoIO stack, an inter-operation stack composed of a formal ontology (the Comparative Data Analysis Ontology), an XML exchange format (NeXML), and a web services API (PhyloWS). CDAOStore has been implemented on top of an RDF triple store, using a combination of standard web technologies and logic programming technology. In particular, we employed Prolog to support some of the format transformation tasks and, more importantly, in the implementation of several of the domain-specific queries, whose structure is beyond the reach of standard RDF query languages (e.g., SPARQL). CDAOStore is operational and it already hosts over 90 million RDF triples, imported from TreeBase or submitted by other domain scientists.
Cite as

Brandon Chisham, Enrico Pontelli, Tran Cao Son, and Ben Wright. CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 209-219, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{chisham_et_al:LIPIcs.ICLP.2011.209,
  author =	{Chisham, Brandon and Pontelli, Enrico and Son, Tran  Cao and Wright, Ben},
  title =	{{CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{209--219},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.209},
  URN =		{urn:nbn:de:0030-drops-31635},
  doi =		{10.4230/LIPIcs.ICLP.2011.209},
  annote =	{Keywords: Bioinformatics, Phylogenetic Analysis, Prolog, Ontologies}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact