In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understoodâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley
- IEEE Transactions on Parallel and Distributedâ€¦
- 2009

Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requiresâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Ricardo MartÃnez-Soto, Oscar Castillo, Luis T. Aguilar
- Soft Computing for Hybrid Intelligent Systems
- 2008

We describe a tracking controller for the dynamic model of a unicycle mobile robot by integrating a kinematic and a torqueâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- JosÃ© Meseguer, Grigore Rosu
- Theor. Comput. Sci.
- 2006

Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structuralâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Silvio Ghilardi
- Journal of Automated Reasoning
- 2004

We extend the Nelsonâ€“Oppen combination procedure to the case of theories that are compatible with respect to a common subtheoryâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Antonio GonzÃ¡lez MuÃ±oz, RaÃºl PÃ©rez
- IEEE Trans. Fuzzy Systems
- 1999

SLAVE (Structural Learning Algorithm in Vague Environment) is an inductive learning algorithm that uses concepts based on fuzzyâ€¦Â (More)

Is this relevant?

1998

1998

- IndustryLeora MorgensternIBM T. J. Watson
- 1998

Nonmonotonic reasoning is virtually absent from industry and has been so since its inception; the result is that the eld isâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Wael A. Farag, Victor H. Quintana, Germano Lambert-Torres
- IEEE Trans. Neural Networks
- 1998

Linguistic modeling of complex irregular systems constitutes the heart of many control and decision making systems, and fuzzyâ€¦Â (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Robert E. Shostak
- CADE
- 1982

A method ~s g~ven for dec~dlng formulas in combinations of unquantified first-order theories. Rather than couphng separateâ€¦Â (More)

Is this relevant?

1957

1957

- Amanda J Newell, J. C. Shaw
- IRE-AIEE-ACM '57 (Western)
- 1957

A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolicâ€¦Â (More)

Is this relevant?

Highly Cited

1956