David A. Ferrucci

According to our database1, David A. Ferrucci authored at least 36 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Multi-step Knowledge Retrieval and Inference over Unstructured Data.
CoRR, 2024

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic.
CoRR, 2024

Beyond LLMs: Advancing the Landscape of Complex Reasoning.
CoRR, 2024

2023
Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications.
Algorithms, March, 2023

Machines as Thought Partners: Reflections on 50 Years of Prolog.
Proceedings of the Prolog: The Next 50 Years, 2023

2022
Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
SKATE: A Natural Language Interface for Encoding Structured Knowledge.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Braid: Weaving Symbolic and Statistical Knowledge into Coherent Logical Explanations.
CoRR, 2020

Action Languages and COVID-19: Lessons Learned.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

To Test Machine Comprehension, Start by Defining Comprehension.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2017
WatsonPaths: Scenario-Based Question Answering and Inference over Unstructured Information.
AI Mag., 2017

2013
Watson: Beyond Jeopardy!
Artif. Intell., 2013

2012
Typing candidate answers using type coercion.
IBM J. Res. Dev., 2012

Introduction to "This is Watson".
IBM J. Res. Dev., 2012

Automatic knowledge extraction from documents.
IBM J. Res. Dev., 2012

2011
IBM's Watson/DeepQA.
SIGARCH Comput. Archit. News, 2011

Statistical source expansion for question answering.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

2010
Building Watson: An Overview of the DeepQA Project.
AI Mag., 2010

Building Watson: A Grand Challenge in Automatic NL Question Answering.
Proceedings of the 8th NTCIR Workshop Meeting on Evaluation of Information Access Technologies: Information Retrieval, 2010

Build Watson: an overview of DeepQA for the Jeopardy! challenge.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2008
The Prolog Interface to the Unstructured Information Management Architecture
CoRR, 2008

A Development Environment for Configurable Meta-Annotators in a Pipelined NLP Architecture.
Proceedings of the International Conference on Language Resources and Evaluation, 2008

2006
Semantic search via XML fragments: a high-precision approach to IR.
Proceedings of the SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2006

Explaining Conclusions from Diverse Knowledge Sources.
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

2005
Encoding extraction as inferences.
Proceedings of the 2005 AAAI Spring Symposium on Metacognition in Computation, 2005

2004
UIMA: an architectural approach to unstructured information processing in the corporate research environment.
Nat. Lang. Eng., 2004

Building an example application with the Unstructured Information Management Architecture.
IBM Syst. J., 2004

Software Architectures for Advanced QA.
Proceedings of the New Directions in Question Answering, 2004

2003
Hybridization in Question Answering Systems.
Proceedings of the New Directions in Question Answering, 2003

2002
A Multi-Strategy and Multi-Source Approach to Question Answering.
Proceedings of The Eleventh Text REtrieval Conference, 2002

2001
Creativity, the Turing Test, and the (Better) Lovelace Test.
Minds Mach., 2001

1999
Instances and classes in software engineering.
Intell., 1999

A Formal Ontology for Re-Use of Software Architecture Documents.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998
Reply to Glymour and Thayse.
Minds Mach., 1998

Logic and Artificial Intelligence: Divorced, Still Married, Separated ...?
Minds Mach., 1998

1994
Interactive configuration: a logic programming-based approach.
PhD thesis, 1994


  Loading...