In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logicsâ€¦Â (More)

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

2016

2016

- Emanuel Kieronski
- CSL
- 2016

One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers thatâ€¦Â (More)

Is this relevant?

2016

2016

- Andrew J. Goodall, Jaroslav Nesetril, Patrice Ossona de Mendez
- J. Applied Logic
- 2016

A strongly polynomial sequence of graphs (Gn) is a sequence (Gn)nâˆˆN of finite graphs such that, for every graph F , the number ofâ€¦Â (More)

Is this relevant?

2013

2013

- Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven
- CP
- 2013

It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time toâ€¦Â (More)

Is this relevant?

2012

2012

- Xiaohong Zhang, Bing Zhou, Peng Li
- Inf. Sci.
- 2012

Intuitionistic fuzzy rough sets are investigated in a general framework which includes generalizations of many related results inâ€¦Â (More)

Is this relevant?

2009

2009

- Johann A. Makowsky
- ICLA
- 2009

Connection matrices of graph parameters were first introduced by M. Freedman, L. LovÃ¡sz and A. Schrijver (2007) to study theâ€¦Â (More)

Is this relevant?

2006

2006

In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paulâ€¦Â (More)

Is this relevant?

2003

2003

- Shufang Wu
- ICCCN
- 2003

Broadcast schemes scale well in transporting popular movies in video-on-demand (VOD) systems. A large number of broadcast schemesâ€¦Â (More)

Is this relevant?

1999

1999

- MICHO DURDEVICH
- 1999

A noncommutative-geometric generalization of the classical formalism of frame bundles is developed, incorporating into the theoryâ€¦Â (More)

Is this relevant?

1996

1996

- MiÄ‡o DurdeviÄ‡
- 1996

A noncommutative-geometric generalization of the classical formalism of frame bundles is developed, incorporating into the theoryâ€¦Â (More)

Is this relevant?

1975

1975

- Frederick Hayes-Roth, D. Moslow
- IJCAI
- 1975

A new method for efficient recognition of general relational structures is described and compared with existing methods. Patternsâ€¦Â (More)

Is this relevant?