Login
Dashboard

- Login
- Dashboard

Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
NeurIPS
Books
Classics

Login
Dashboard

Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
NeurIPS
Books
Classics

- Login

Login
Dashboard

Home
About
A Brief History of AI
AI-Alerts
AI Magazine
AAAI Conferences
NeurIPS
Books
Classics

- Login

Login

AITopics

An official publication of the AAAI.

powered by
i2k Connect

- Login

Login
Dashboard

AITopics

An official publication of the AAAI.

Filters

Current Filters

Classics
Software Engineering

Technology

Highlight matches

Any in Technology (1)

Date

Earlier than Jun-1-2025 (1)

to

Theme

Loading...

Author

Loading...

Concept Tag

Loading...

Conference

Loading...

Country

Highlight matches

Any in Country (1)

Journal

Loading...

Publisher

Loading...

Source

Loading...

Select a view to plot:

Click to choose
- AI-Alerts
- Country
- Genre
- Industry
- Technology

Not enough data to create a plot.
Try a different view from the menu above.

Plotting

Toggle search results options

Page 1 of 1 result

Actions

Actions

Software Engineering

News Overviews Instructional Materials AI-Alerts Classics

News Overviews Instructional Materials AI-Alerts Classics

Informality in program specification

Balzer, R. M., Goldman, N., Wile, D.

ClassicsFeb-1-1977

IJCAI 1977, 389-397

artificial intelligence, natural language, specification, (18 more...)

Classics

Country: North America > United States > California (0.28)

Technology:

Information Technology > Software Engineering (1.00)
Information Technology > Artificial Intelligence > Natural Language (0.69)
Information Technology > Artificial Intelligence > Representation & Reasoning (0.48)

By text
By views
By concept tags

Save or update focal point

Save a search / focal point to access it again.

Name

Description

Categories / Tags

Public?

Subscribe for new content notifications

RemoveNo notificationsTwice dailyDailyWeekly

1

© 2025, i2k Connect Inc · All Rights Reserved.
Privacy policy · Terms of use · License · Legal Notices
This is i2kweb version 6.1.0-SNAPSHOT. Logged in as aitopics-guest for 59 more minutes (idle timeout).

Logged in from South El Monte

powered by
i2k Connect

aitopics.org uses cookies to deliver the best possible experience. By continuing to use this site, you consent to the use of cookies. Learn more »

Add feedback

Send feedback to help us improve this new enhanced search experience.

Select feedback type:

Thank you!