Search results for "Paul Fodor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic	Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.	Applied Artificial Intelligence	2012	DBLP DOI BibTeX RDF
1	Paul Fodor, Darko Anicic, Sebastian Rudolph	Results on Out-of-Order Event Processing.	PADL	2011	DBLP DOI BibTeX RDF
1	Paul Fodor, Michael Kifer	Transaction Logic with Defaults and Argumentation Theories.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
1	Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic	EP-SPARQL: a unified language for event processing and stream reasoning.	WWW	2011	DBLP DOI BibTeX RDF
1	Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic	Retractable Complex Event Processing and Stream Reasoning.	RuleML Europe	2011	DBLP DOI BibTeX RDF
1	Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic	A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.	RuleML Europe	2011	DBLP DOI BibTeX RDF
1	Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer	A Rule-Based Language for Complex Event Processing and Reasoning.	RR	2010	DBLP DOI BibTeX RDF
1	Paul Fodor, Michael Kifer	Tabling for transaction logic.	PPDP	2010	DBLP DOI BibTeX RDF
1	Diptikalyan Saha, Paul Fodor	A simple and efficient explicit parallelization of logic programs using low-level threading primitives	CoRR	2009	DBLP BibTeX RDF
1	Darko Anicic, Paul Fodor, Roland Stühmer, Nenad Stojanovic	Event-Driven Approach for Logic-Based Complex Event Processing.	CSE	2009	DBLP DOI BibTeX RDF
1	Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer	Computing complex events in an event-driven and logic-based approach.	DEBS	2009	DBLP DOI BibTeX RDF
1	Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer	An approach for data-driven and logic-based complex Event Processing.	DEBS	2009	DBLP DOI BibTeX RDF
1	Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang	Logic Programming with Defaults and Argumentation Theories.	ICLP	2009	DBLP DOI BibTeX RDF	Defeasible reasoning, well-founded models, argumentation theory
1	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
1	Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer	OpenRuleBench: an analysis of the performance of rule engines.	WWW	2009	DBLP DOI BibTeX RDF	openrulebench, semantic web, benchmark, rule systems
1	Paul Fodor	Initial Results on Justification for the Tabled Transaction Logic.	AAAI Spring Symposium: Intelligent Event Processing	2009	DBLP BibTeX RDF
1	Paul Fodor	Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine	CoRR	2008	DBLP BibTeX RDF
1	Paul Fodor, Adam Lally, David A. Ferrucci	The Prolog Interface to the Unstructured Information Management Architecture	CoRR	2008	DBLP BibTeX RDF
1	Paul Fodor	Optimizations and Extensions for the Horn Transaction Logic Programs.	AAAI	2008	DBLP BibTeX RDF
1	Paul Fodor	Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.	AAAI	2008	DBLP BibTeX RDF
1	Paul Fodor	Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.	AAAI	2008	DBLP BibTeX RDF
1	Paul Fodor	Efficient Tabling Mechanisms for Transaction Logic Programs	CoRR	2007	DBLP BibTeX RDF
1	Paul Fodor	Flexible Audio Streams	CoRR	2007	DBLP BibTeX RDF
1	Paul Fodor	Domain Directed Dialogs for Decision Processes	CoRR	2007	DBLP BibTeX RDF
1	Paul Fodor	Automatic Annotation of XHTML Pages with Audio Components	CoRR	2007	DBLP BibTeX RDF
1	Joy Dutta, Paul Fodor	A Systematic Approach to Web-Application Development	CoRR	2007	DBLP BibTeX RDF
1	Paul Fodor	Portlet Wrappers using JavaScript	CoRR	2007	DBLP BibTeX RDF

Publications of "Paul Fodor" ( http://dblp.L3S.de/Authors/Paul_Fodor )