Lawrence Cavedon

According to our database, Lawrence Cavedon authored at least 96 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

The Secondary Use of Electronic Health Records for Data Mining: Data Characteristics and Challenges.

Tabinda Sarwar, Sattar Seifollahi, Jeffrey Chan, Xiuzhen Zhang, Vural Aksakalli, Irene Lena Hudson, Karin Verspoor, Lawrence Cavedon

ACM Comput. Surv., 2023

2022

Component-based Analysis of Dynamic Search Performance.

Ameer Albahem, Damiano Spina, Falk Scholer, Lawrence Cavedon

ACM Trans. Inf. Syst., 2022

2021

ChEMU 2020: Natural Language Processing Methods Are Effective for Information Extraction From Chemical Patents.

Jiayuan He, Dat Quoc Nguyen, Saber A. Akhondi, Christian Druckenbrodt, Camilo Thorne, Ralph Hoessel, Zubair Afzal, Zenan Zhai, Biaoyan Fang, Hiyori Yoshikawa, Ameer Albahem, Lawrence Cavedon, Trevor Cohn, Timothy Baldwin, Karin Verspoor

Frontiers Res. Metrics Anal., 2021

ITTC @ TREC 2021 Clinical Trials Track.

Hung-Thinh Truong, Yulia Otmakhova, Timothy Baldwin, Jey Han Lau, Trevor Cohn, Karin Verspoor, Rahmad Mahendra, Lawrence Cavedon, Damiano Spina

Proceedings of the Thirtieth Text REtrieval Conference, 2021

ChEMU 2021: Reaction Reference Resolution and Anaphora Resolution in Chemical Patents.

Jiayuan He, Biaoyan Fang, Hiyori Yoshikawa, Yuan Li, Saber A. Akhondi, Christian Druckenbrodt, Camilo Thorne, Zubair Afzal, Zenan Zhai, Lawrence Cavedon, Trevor Cohn, Timothy Baldwin, Karin Verspoor

Proceedings of the Advances in Information Retrieval, 2021

Accessing Media Via an Audio-only Communication Channel: A Log Analysis.

Johanne R. Trippas, Damiano Spina, Mark Sanderson, Lawrence Cavedon

Proceedings of the CUI 2021, 2021

Crowdsourcing Backstories for Complex Task-Based Search.

Manuel Steiner, Damiano Spina, Falk Scholer, Lawrence Cavedon

Proceedings of the ADCS '21: Australasian Document Computing Symposium, 2021

2020

Dagstuhl seminar 19461 on conversational search: seminar goals and working group outcomes.

Avishek Anand, Lawrence Cavedon, Matthias Hagen, Hideo Joho, Mark Sanderson, Benno Stein

SIGIR Forum, 2020

Progressive learning: A deep learning framework for continual learning.

Haytham M. Fayek, Lawrence Cavedon, Hong Ren Wu

Neural Networks, 2020

Towards a model for spoken conversational search.

Johanne R. Trippas, Damiano Spina, Paul Thomas, Mark Sanderson, Hideo Joho, Lawrence Cavedon

Inf. Process. Manag., 2020

Conversational Search - A Report from Dagstuhl Seminar 19461.

Avishek Anand, Lawrence Cavedon, Matthias Hagen, Hideo Joho, Mark Sanderson, Benno Stein

CoRR, 2020

An Extended Overview of the CLEF 2020 ChEMU Lab: Information Extraction of Chemical Reactions from Patents.

Jiayuan He, Dat Quoc Nguyen, Saber A. Akhondi, Christian Druckenbrodt, Camilo Thorne, Ralph Hoessel, Zubair Afzal, Zenan Zhai, Biaoyan Fang, Hiyori Yoshikawa, Ameer Albahem, Jingqi Wang, Yuankai Ren, Zhi Zhang, Yaoyun Zhang, Mai Hoang Dao, Pedro Ruas, Andre Lamurias, Francisco M. Couto, Jenny Copara, Nona Naderi, Julien Knafou, Patrick Ruch, Douglas Teodoro, Daniel M. Lowe, John Mayfield, Abdullatif Köksal, Hilal Dönmez, Elif Özkirimli, Arzucan Özgür, Darshini Mahendran, Gabrielle Gurdin, Nastassja Lewinski, Christina Tang, Bridget T. McInnes, C. S. Malarkodi, Pattabhi Rk Rao, Sobha Lalitha Devi, Lawrence Cavedon, Trevor Cohn, Timothy Baldwin, Karin Verspoor

Proceedings of the Working Notes of CLEF 2020, 2020

Overview of ChEMU 2020: Named Entity Recognition and Event Extraction of Chemical Reactions from Patents.

Jiayuan He, Dat Quoc Nguyen, Saber A. Akhondi, Christian Druckenbrodt, Camilo Thorne, Ralph Hoessel, Zubair Afzal, Zenan Zhai, Biaoyan Fang, Hiyori Yoshikawa, Ameer Albahem, Lawrence Cavedon, Trevor Cohn, Timothy Baldwin, Karin Verspoor

Proceedings of the Experimental IR Meets Multilinguality, Multimodality, and Interaction, 2020

2019

Estimating cognitive load from speech gathered in a complex real-life training exercise.

Maria Vukovic, Vidhyasaharan Sethu, Jessica Parker, Lawrence Cavedon, Margaret Lech, John Thangarajah

Int. J. Hum. Comput. Stud., 2019

Conversational Search (Dagstuhl Seminar 19461).

Avishek Anand, Lawrence Cavedon, Hideo Joho, Mark Sanderson, Benno Stein

Dagstuhl Reports, 2019

Meta-evaluation of Dynamic Search: How Do Metrics Capture Topical Relevance, Diversity and User Effort?

Ameer Albahem, Damiano Spina, Falk Scholer, Lawrence Cavedon

Proceedings of the Advances in Information Retrieval, 2019

2018

On the Transferability of Representations in Neural Networks Between Datasets and Tasks.

Haytham M. Fayek, Lawrence Cavedon, Hong Ren Wu

CoRR, 2018

A Living Lab Study of Query Amendment in Job Search.

Bahar Salehi, Damiano Spina, Alistair Moffat, Sargol Sadeghi, Falk Scholer, Timothy Baldwin, Lawrence Cavedon, Mark Sanderson, Wilson Wong, Justin Zobel

Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018

A Preliminary Comparison of Job, Talent, and Web Search.

Damiano Spina, Maria Maistro, Yongli Ren, Sargol Sadeghi, Wilson Wong, Timothy Baldwin, Lawrence Cavedon, Alistair Moffat, Mark Sanderson, Falk Scholer, Justin Zobel

Proceedings of the 9th Italian Information Retrieval Workshop, 2018

Informing the Design of Spoken Conversational Search: Perspective Paper.

Johanne R. Trippas, Damiano Spina, Lawrence Cavedon, Hideo Joho, Mark Sanderson

Proceedings of the 2018 Conference on Human Information Interaction and Retrieval, 2018

Desirable Properties for Diversity and Truncated Effectiveness Metrics.

Ameer Albahem, Damiano Spina, Falk Scholer, Alistair Moffat, Lawrence Cavedon

Proceedings of the 23rd Australasian Document Computing Symposium, 2018

2017

CAIR'17: First International Workshop on Conversational Approaches to Information Retrieval at SIGIR 2017.

Hideo Joho, Lawrence Cavedon, Jaime Arguello, Milad Shokouhi, Filip Radlinski

SIGIR Forum, 2017

Evaluating deep learning architectures for Speech Emotion Recognition.

Haytham M. Fayek, Margaret Lech, Lawrence Cavedon

Neural Networks, 2017

Extracting audio summaries to support effective spoken document search.

Damiano Spina, Johanne R. Trippas, Lawrence Cavedon, Mark Sanderson

J. Assoc. Inf. Sci. Technol., 2017

Understanding User Behavior in Job and Talent Search: An Initial Investigation.

Damiano Spina, Maria Maistro, Yongli Ren, Sargol Sadeghi, Wilson Wong, Timothy Baldwin, Lawrence Cavedon, Alistair Moffat, Mark Sanderson, Falk Scholer, Justin Zobel

Proceedings of the SIGIR 2017 Workshop On eCommerce co-located with the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2017

First International Workshop on Conversational Approaches to Information Retrieval (CAIR'17).

Hideo Joho, Lawrence Cavedon, Jaime Arguello, Milad Shokouhi, Filip Radlinski

Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2017

How Do People Interact in Conversational Speech-Only Search Tasks: A Preliminary Analysis.

Johanne R. Trippas, Damiano Spina, Lawrence Cavedon, Mark Sanderson

Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval, 2017

2016

Text mining electronic hospital records to automatically classify admissions against disease: Measuring the impact of linking data sources.

Simon Kocbek, Lawrence Cavedon, David Martínez, Christopher Bain, Chris Mac Manus, Gholamreza Haffari, Ingrid Zukerman, Karin Verspoor

J. Biomed. Informatics, 2016

RMIT @ TREC 2016 Dynamic Domain Track: Exploiting Passage Representation for Retrieval and Relevance Feedback.

Ameer Albahem, Damiano Spina, Lawrence Cavedon, Falk Scholer

Proceedings of The Twenty-Fifth Text REtrieval Conference, 2016

On the Correlation and Transferability of Features Between Automatic Speech Recognition and Speech Emotion Recognition.

Haytham M. Fayek, Margaret Lech, Lawrence Cavedon

Proceedings of the Interspeech 2016, 2016

Modeling subjectiveness in emotion recognition with deep neural networks: Ensembles vs soft labels.

Haytham M. Fayek, Margaret Lech, Lawrence Cavedon

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

A Corpus of Tables in Full-Text Biomedical Research Publications.

Tatyana Shmanina, Ingrid Zukerman, Ai Lee Cheam, Thomas Bochynek, Lawrence Cavedon

Proceedings of the Fifth Workshop on Building and Evaluating Resources for Biomedical Text Mining, 2016

2015

Automatic detection of patients with invasive fungal disease from free-text computed tomography (CT) scans.

David Martínez, Michelle Ananda-Rajah, Hanna Suominen, Monica A. Slavin, Karin A. Thursky, Lawrence Cavedon

J. Biomed. Informatics, 2015

Effects of domain on measures of semantic relatedness.

Daniel Macías Galindo, Lawrence J. Cavedon, John Thangarajah, Wilson Wong

J. Assoc. Inf. Sci. Technol., 2015

"C'Mon dude!": Users adapt their behaviour to a robotic agent with an attention model.

Lawrence Cavedon, Christian Kroos, Damith Chandana Herath, Denis Burnham, Laura Bishop, Yvonne Leung, Catherine J. Stevens

Int. J. Hum. Comput. Stud., 2015

Towards Understanding the Impact of Length in Web Search Result Summaries over a Speech-only Communication Channel.

Johanne R. Trippas, Damiano Spina, Mark Sanderson, Lawrence Cavedon

Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2015

SpeakerLDA: Discovering Topics in Transcribed Multi-Speaker Audio Contents.

Damiano Spina, Johanne R. Trippas, Lawrence Cavedon, Mark Sanderson

Proceedings of the Third Edition Workshop on Speech, Language & Audio in Multimedia, 2015

Towards real-time Speech Emotion Recognition using deep neural networks.

Haytham M. Fayek, Margaret Lech, Lawrence Cavedon

Proceedings of the 9th International Conference on Signal Processing and Communication Systems, 2015

Results Presentation Methods for a Spoken Conversational Search System.

Johanne R. Trippas, Damiano Spina, Mark Sanderson, Lawrence Cavedon

Proceedings of the First International Workshop on Novel Web Search Interfaces and Systems, 2015

2014

Video game personalisation techniques: A comprehensive survey.

Stephen Karpinskyj, Fabio Zambetta, Lawrence Cavedon

Entertain. Comput., 2014

Cross-hospital portability of information extraction of cancer staging information.

David Martínez, Graham Pitson, Andrew MacKinlay, Lawrence Cavedon

Artif. Intell. Medicine, 2014

Challenges in Information Extraction from Tables in Biomedical Research Publications: a Dataset Analysis.

Tatyana Shmanina, Lawrence Cavedon, Ingrid Zukerman

Proceedings of the Australasian Language Technology Association Workshop, 2014

2013

Annotating the biomedical literature for the human variome.

Karin Verspoor, Antonio Jimeno-Yepes, Lawrence Cavedon, Tara McIntosh, Asha Herten-Crabb, Zoë Thomas, John-Paul Plazzer

Database J. Biol. Databases Curation, 2013

Impact of Corpus Diversity and Complexity on NER Performance.

Tatyana Shmanina, Ingrid Zukerman, Antonio Jimeno-Yepes, Lawrence Cavedon, Karin Verspoor

Proceedings of the Australasian Language Technology Association Workshop, 2013

2012

Classifying Dialogue Acts in Multi-party Live Chats.

Su Nam Kim, Lawrence Cavedon, Timothy Baldwin

Proceedings of the 26th Pacific Asia Conference on Language, Information and Computation, 2012

Flexible Conversation Management Using a BDI Agent Approach.

Wilson Wong, Lawrence Cavedon, John Thangarajah, Lin Padgham

Proceedings of the Intelligent Virtual Agents - 12th International Conference, 2012

Coherent Topic Transition in a Conversational Agent.

Daniel Macías Galindo, Wilson Wong, Lawrence Cavedon, John Thangarajah

Proceedings of the INTERSPEECH 2012, 2012

Strategies for Mixed-Initiative Conversation Management using Question-Answer Pairs.

Wilson Wong, Lawrence Cavedon, John Thangarajah, Lin Padgham

Proceedings of the COLING 2012, 2012

Biosurveillance for Invasive Fungal Infections via Text Mining.

David Martínez, Hanna Suominen, Michelle Ananda-Rajah, Lawrence Cavedon

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

Simple Similarity-based Question Answering Strategies for Biomedical Text.

David Martínez, Andrew MacKinlay, Diego Mollá Aliod, Lawrence Cavedon, Karin Verspoor

Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

Mixed-initiative conversational system using question-answer pairs mined from the web.

Wilson Wong, Lawrence Cavedon, John Thangarajah, Lin Padgham

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Goal-driven approach to open-ended dialogue management using BDI agents.

Wilson Wong, Lawrence Cavedon, John Thangarajah, Lin Padgham

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Revising conflicting intention sets in BDI agents.

Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Automatic classification of sentences to support Evidence Based Medicine.

Su Kim, David Martínez, Lawrence Cavedon, Lars Yencken

BMC Bioinform., 2011

Search for Medical Records: NICTA at TREC 2011 Medical Track.

Sarvnaz Karimi, David Martínez, Sumukh Ghodke, Lawrence Cavedon, Hanna Suominen, Lumin Zhang

Proceedings of The Twentieth Text REtrieval Conference, 2011

Using a Lexical Dictionary and a Folksonomy to Automatically Construct Domain Ontologies.

Daniel Macías Galindo, Wilson Wong, Lawrence Cavedon, John Thangarajah

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Classifying Domain-Specific Terms Using a Dictionary.

Su Nam Kim, Lawrence Cavedon

Proceedings of the Australasian Language Technology Association Workshop 2011, 2011

2010

Visualizing search results and document collections using topic maps.

David Newman, Timothy Baldwin, Lawrence Cavedon, Eric Huang, Sarvnaz Karimi, David Martínez, Falk Scholer, Justin Zobel

J. Web Semant., 2010

Boolean versus ranked querying for biomedical systematic reviews.

Sarvnaz Karimi, Stefan Pohl, Falk Scholer, Lawrence Cavedon, Justin Zobel

BMC Medical Informatics Decis. Mak., 2010

Thinking head: Towards human centred robotics.

Damith C. Herath, Christian Kroos, Catherine J. Stevens, Lawrence Cavedon, Prashan Premaratne

Proceedings of the 11th International Conference on Control, 2010

Classifying Dialogue Acts in One-on-One Live Chats.

Su Nam Kim, Lawrence Cavedon, Timothy Baldwin

Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, 2010

2009

Exploring criteria for successful query expansion in the genomic domain.

Nicola Stokes, Yi Li, Lawrence Cavedon, Justin Zobel

Inf. Retr., 2009

Extraction of Named Entities from Tables in Gene Mutation Literature.

Wern Wong, David Martínez, Lawrence Cavedon

Proceedings of the BioNLP Workshop, BioNLP@HLT-NAACL 2009, 2009

Using Topic Models to Interpret MEDLINE's Medical Subject Headings.

David Newman, Sarvnaz Karimi, Lawrence Cavedon

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

From talking to thinking heads: report 2008.

Denis Burnham, Arman Abrahamyan, Lawrence Cavedon, Chris Davis, Andrew Hodgins, Jeesun Kim, Christian Kroos, Takaaki Kuratate, Trent W. Lewis, Martin H. Luerssen, Garth Paine, David M. W. Powers, Marcia Riley, Stelarc, Kate Stevens

Proceedings of the International Conference on Auditory-Visual Speech Processing 2008, 2008

2007

Negotiating flexible agreements by combining distributive and integrative negotiation.

Quoc Bao Vo, Lin Padgham, Lawrence Cavedon

Intell. Decis. Technol., 2007

Entity-Based Relevance Feedback for Genomic List Answer Retrieval.

Nicola Stokes, Yi Li, Lawrence Cavedon, Eric Huang, Jiawen Rong, Justin Zobel

Proceedings of The Sixteenth Text REtrieval Conference, 2007

Exploring Abbreviation Expansion for Genomic Information Retrieval.

Nicola Stokes, Yi Li, Lawrence Cavedon, Justin Zobel

Proceedings of the Australasian Language Technology Workshop, 2007

2006

Workshop on effective multimodal dialogue interfaces.

Lawrence Cavedon, Robert Dale, Fang Chen, David R. Traum

Proceedings of the 11th International Conference on Intelligent User Interfaces, 2006

CHAT: a conversational helper for automotive tasks.

Fuliang Weng, Sebastian Varges, Badri Raghunathan, Florin Ratiu, Heather Pon-Barry, Brian Lathrop, Qi Zhang, Harry Bratt, Tobias Scheideck, Kui Xu, Matthew Purver, Rohit Mishra, Annie Lien, Madhuri Raya, Stanley Peters, Yao Meng, J. Russell, Lawrence Cavedon, Elizabeth Shriberg, Hauke Schmidt, R. Prieto

Proceedings of the INTERSPEECH 2006, 2006

Robust interpretation in dialogue by combining confidence scores with contextual features.

Matthew Purver, Florin Ratiu, Lawrence Cavedon

Proceedings of the INTERSPEECH 2006, 2006

Exploring Probabilistic Toponym Resolution for Geographical Information Retrieval.

Yi Li, Alistair Moffat, Nicola Stokes, Lawrence Cavedon

Proceedings of the 3rd ACM Workshop On Geographic Information Retrieval, 2006

NICTA I2D2 Group at GeoCLEF 2006.

Yi Li, Nicola Stokes, Lawrence Cavedon, Alistair Moffat

Proceedings of the Evaluation of Multilingual and Multi-modal Information Retrieval, 2006

2005

AWeSOMe 2005 PC Co-chairs' Message.

Pilar Herrero, Gonzalo Méndez, Lawrence Cavedon, David B. Martin

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

A Flexible Conversational Dialog System for MP3 Player.

Fuliang Weng, Lawrence Cavedon, Badri Raghunathan, Danilo Mirkovic, Ben Bei, Heather Pon-Barry, Harry Bratt, Hua Cheng, Hauke Schmidt, Rohit Mishra, Brian Lathrop, Qi Zhang, Tobias Scheideck, Kui Xu, Tess Hand-Bender, Stanley Peters, Liz Shriberg, Carsten Bergmann

Proceedings of the HLT/EMNLP 2005, 2005

Training a maximum entropy model for surface realization.

Hua Cheng, Fuliang Weng, Niti Hantaweepant, Lawrence Cavedon, Stanley Peters

Proceedings of the INTERSPEECH 2005, 2005

Combining Confidence Scores with Contextual Features for Robust Multi-Device Dialogue.

Lawrence Cavedon, Matthew Purver, Florin Ratiu

Proceedings of the Australasian Language Technology Workshop, 2005

2004

A conversational dialogue system for cognitively overloaded users.

Fuliang Weng, Lawrence Cavedon, Badri Raghunathan, Danilo Mirkovic, Hua Cheng, Hauke Schmidt, Harry Bratt, Rohit Mishra, Stanley Peters, Sandra Upson, Elizabeth Shriberg, Carsten Bergmann, Lin Zhao

Proceedings of the INTERSPEECH 2004, 2004

A wizard of oz framework for collecting spoken human-computer dialogs.

Rohit Mishra, Elizabeth Shriberg, Sandra Upson, Joyce Chen, Fuliang Weng, Stanley Peters, Lawrence Cavedon, John Niekrasz, Hua Cheng, Harry Bratt

Proceedings of the INTERSPEECH 2004, 2004

Multi-Human Dialogue Understanding for Assisting Artifact-Producing Meetings.

John Niekrasz, Alexander Gruenstein, Lawrence Cavedon

Proceedings of the COLING 2004, 2004

2003

Managing Dialogue Interaction: A Multi-Layered Approach.

Oliver Lemon, Lawrence Cavedon, Barbara Kelly

Proceedings of the SIGDIAL 2003 Workshop, 2003

2000

Towards Socially Sophisticated BDI Agents.

Frank Dignum, David N. Morley, Liz Sonenberg, Lawrence Cavedon

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1999

Toward Team-Oriented Programming.

David V. Pynadath, Milind Tambe, Nicolas Chauvat, Lawrence Cavedon

Proceedings of the Intelligent Agents VI, 1999

1998

Default Reasoning as Situated Monotonic Inference.

Lawrence Cavedon

Minds Mach., 1998

On Social Commitment, Roles and Preferred Goals.

Lawrence Cavedon, Liz Sonenberg

Proceedings of the Third International Conference on Multiagent Systems, 1998

Strategic Behavior-Based Reasoning with Dynamic, Partial Information.

James Westendorp, Paul Scerri, Lawrence Cavedon

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997

Teamwork via Team Plans in Intelligent Autonomous Agent Systems.

Lawrence Cavedon, Anand S. Rao, Liz Sonenberg, Gil Tidhar

Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997

Problem based learning with technological support in an AI subject: description and evaluation.

Lawrence Cavedon, James Harland, Lin Padgham

Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996

Social and Individual Commitment.

Lawrence Cavedon, Anand S. Rao, Gil Tidhar

Proceedings of the Intelligent Agent Systems, 1996

Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture.

Lawrence Cavedon, Anand S. Rao

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

1995

A Logical Framework for Multi-Agent Systems and Joint Attitudes.

Lawrence Cavedon, Gil Tidhar

Proceedings of the Distributed Artificial Intelligence: Architecture and Modelling, 1995

1991

Acyclic Logic Programs and the Completeness of SLDNF-Resolution.

Lawrence Cavedon

Theor. Comput. Sci., 1991

1990

A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution.

Lawrence Cavedon, Hendrik Decker

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990

1989

A Completeness Theorem for SLDNF Resolution.

Lawrence Cavedon, John W. Lloyd

J. Log. Program., 1989

Continuity, Consistency, and Completeness Properties for Logic Programs.

Lawrence Cavedon

Proceedings of the Logic Programming, 1989

Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.

Hendrik Decker, Lawrence Cavedon

Proceedings of the CSL '89, 1989