Search results for "reasoning power"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yau-Hwang Kuo, Shiuh-Chu Lee	Software Development Tool for Object-Oriented Fuzzy Knowledge Systems. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	object oriented fuzzy knowledge systems, fuzzy reasoning concept, reasoning power, novel fuzzy linguistic object model, three layered structure, knowledge acquisition layer, object design layer, program design layer, fuzzy knowledge systems, object simulator, knowledge representation, software tools, expert system, rapid prototyping, inheritances, approximate reasoning, rule base, object oriented paradigm, software development tool, design information, problem solving process
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
1	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
1	Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Maria Vasardani, Max J. Egenhofer	Single-Holed Regions: Their Relations and Inferences.	GIScience	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Holger Hermanns, Tino Teige	Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Andrew Sadler, Carmen Gervet	Enhancing set constraint solvers with lexicographic bounds.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Constraint programming, Modelling languages
1	Peter Graubmann, Mikhail Roshchin	Semantic Modelling in Agent-Based Software Development.	AIS-ADM	2007	DBLP DOI BibTeX RDF	Agent-based Software Development, Semantic Web Techniques, Semantic Modelling, Heterogeneous environments
1	Madalina Croitoru, Bo Hu, Srinandan Dashmapatra, Paul H. Lewis, David Dupplaw, Liang Xiao 0002	A Conceptual Graph Description of Medical Data for Brain Tumour Classification.	ICCS	2007	DBLP DOI BibTeX RDF
1	Christoph Sprenger, David A. Basin	A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
1	Peter Graubmann, Mikhail Roshchin	Semantic Annotation of Software Components.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
1	Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny	Semantics-Aware Services for the Mobile Computing Environment.	WADS	2004	DBLP DOI BibTeX RDF
1	Markus Wedler, Dominik Stoffel, Wolfgang Kunz	Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.	ISVLSI	2002	DBLP DOI BibTeX RDF
1	Gaihua Fu, Jianhua Shao, Suzanne M. Embury, W. A. Gray	Representing Constraint Business Rules Extracted from Legacy Systems.	DEXA	2002	DBLP DOI BibTeX RDF
1	Joakim von Wright	From Kleene Algebra to Refinement Algebra.	MPC	2002	DBLP DOI BibTeX RDF
1	Clemens Ballarin, Lawrence C. Paulson	Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.	AISC	1998	DBLP DOI BibTeX RDF	mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
1	Tru H. Cao, Peter N. Creasy	Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure.	ICCS	1998	DBLP DOI BibTeX RDF